Changeset 3171


Ignore:
Timestamp:
Apr 20, 2013, 9:38:01 AM (4 years ago)
Author:
mckinna
Message:

removed redundant dependencies

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/toCminorOps.ma

    r2608 r3171  
    11include "Clight/toCminor.ma".
     2(*
    23include "Clight/Cexec.ma".
    34include "Clight/Clight_abstract.ma".
    45include "Cminor/Cminor_abstract.ma".
    56include "Clight/frontend_misc.ma".
     7*)
    68include "Clight/memoryInjections.ma".
    79
Note: See TracChangeset for help on using the changeset viewer.