Changeset 747 for src/common/Values.ma


Ignore:
Timestamp:
Apr 8, 2011, 2:06:46 PM (10 years ago)
Author:
campbell
Message:

Merge the two AST files together (although some definitions still need to be
harmonised).

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/common/Values.ma

    r744 r747  
    1818
    1919include "utilities/Coqlib.ma".
    20 include "Clight/AST.ma".
     20include "common/AST.ma".
    2121include "common/Integers.ma".
    2222include "common/Floats.ma".
    … …  
    2828
    2929include "utilities/binary/Z.ma".
     30include "utilities/extralib.ma".
    3031
    3132(* To define pointers we need a few details about the memory model.
Note: See TracChangeset for help on using the changeset viewer.