Changeset 1609 for src/common


Ignore:
Timestamp:
Dec 14, 2011, 2:44:42 PM (8 years ago)
Author:
boender
Message:
  • added alias to ASM/BitVectorTrie
  • removed double include from common/Errors
  • externalised label generation in ASM/Assembly, plus stuff to make it compile
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Errors.ma

    r1608 r1609  
    1818include "basics/lists/list.ma".
    1919include "common/PreIdentifiers.ma".
    20 include "basics/lists/list.ma".
    2120include "basics/russell.ma".
    2221
Note: See TracChangeset for help on using the changeset viewer.