Changeset 3176


Ignore:
Timestamp:
Apr 25, 2013, 3:15:33 PM (4 years ago)
Author:
mckinna
Message:

simplified dependencies

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/toCminorCorrectnessExpr.ma

    r3165 r3176  
    1 include "Clight/toCminor.ma".
     1include "common/Globalenvs.ma".
     2
     3include "Clight/toCminorOps.ma".
    24include "Clight/CexecInd.ma".
    3 include "common/Globalenvs.ma".
    4 include "Clight/toCminorOps.ma".
    5 include "Clight/memoryInjections.ma".
    65include "Clight/Clight_abstract.ma".
    76include "Cminor/Cminor_abstract.ma".
Note: See TracChangeset for help on using the changeset viewer.