Changeset 2699 for src


Ignore:
Timestamp:
Feb 22, 2013, 2:11:48 PM (7 years ago)
Author:
mckinna
Message:

simplified dependencies somewhat

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/switchRemoval.ma

    r2680 r2699  
    1 include "Clight/Csyntax.ma".
    2 include "Clight/fresh.ma".
     1(*include "basics/lists/list.ma".*)
     2include "basics/lists/listb.ma".
     3
    34include "common/Identifiers.ma".
    45include "utilities/extralib.ma".
    5 include "Clight/Cexec.ma".
     6
     7(*include "Clight/Csyntax.ma".*)
     8include "Clight/fresh.ma".
     9(*include "Clight/Cexec.ma".*)
    610include "Clight/CexecInd.ma".
    7 include "Clight/frontend_misc.ma".
     11(*include "Clight/frontend_misc.ma".*)
    812include "Clight/memoryInjections.ma".
    9 include "Clight/MemProperties.ma".
    10 include "basics/lists/list.ma".
    11 include "basics/lists/listb.ma".
     13(* include "Clight/MemProperties.ma". *)
    1214
    1315(* -----------------------------------------------------------------------------
Note: See TracChangeset for help on using the changeset viewer.