Changeset 1221 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Sep 16, 2011, 10:53:53 AM (9 years ago)
Author:
sacerdot
Message:

Cleanup.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1220 r1221  
    1 include "ASM/I8051.ma".
    21include "joint/Joint.ma".
    3 include "utilities/BitVectorTrieSet.ma".
    4 include "utilities/IdentifierTools.ma".
    52include "common/Graphs.ma".
    6 include "common/CostLabel.ma".
    7 include "common/Registers.ma".
    83
    94definition registers ≝ list register.
Note: See TracChangeset for help on using the changeset viewer.