Changeset 706


Ignore:
Timestamp:
Mar 23, 2011, 2:24:11 AM (9 years ago)
Author:
sacerdot
Message:

Fixed (reference to basics/pairs was dandling).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Fetch.ma

    r698 r706  
    33include "ASM/ASM.ma".
    44
    5 include "basics/pairs.ma".
     5include "basics/types.ma".
    66
    77definition next: BitVectorTrie Byte 16 → Word → Word × Byte ≝
Note: See TracChangeset for help on using the changeset viewer.