Ignore:
Timestamp:
Jan 21, 2011, 2:31:00 PM (9 years ago)
Author:
campbell
Message:

Reduce "include"s to reduce compilation time.
(Will be undone when moving to the new-new system.)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/Csem.ma

    r457 r474  
    1616(* * Dynamic semantics for the Clight language *)
    1717
    18 include "Coqlib.ma".
    19 include "Errors.ma".
    20 include "Integers.ma".
    21 include "Floats.ma".
    22 include "Values.ma".
    23 include "AST.ma".
    24 include "Mem.ma".
     18(*include "Coqlib.ma".*)
     19(*include "Errors.ma".*)
     20(*include "Integers.ma".*)
     21(*include "Floats.ma".*)
     22(*include "Values.ma".*)
     23(*include "AST.ma".*)
     24(*include "Mem.ma".*)
    2525include "Globalenvs.ma".
    2626include "Csyntax.ma".
    2727include "Maps.ma".
    28 include "Events.ma".
     28(*include "Events.ma".*)
    2929include "Smallstep.ma".
    3030
Note: See TracChangeset for help on using the changeset viewer.