Changeset 2756 for src/ASM/Interpret.ma


Ignore:
Timestamp:
Mar 1, 2013, 1:05:21 PM (7 years ago)
Author:
sacerdot
Message:

WARNING: this commit breaks things, sorry, Paolo is going to fix compiler.ma
in a minute...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r2705 r2756  
    6464qed.
    6565
     66include alias "ASM/Arithmetic.ma".
    6667include alias "arithmetics/nat.ma".
    6768include alias "ASM/BitVectorTrie.ma".
Note: See TracChangeset for help on using the changeset viewer.