Changeset 2513


Ignore:
Timestamp:
Dec 1, 2012, 9:01:21 PM (7 years ago)
Author:
mckinna
Message:

Minor tweaks. Simplified dependencies again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/correctness.ma

    r2506 r2513  
    22include "compiler.ma".
    33
    4 include "common/SmallstepExec.ma".
     4include "ASM/Interpret2.ma".
     5
    56include "Clight/Cexec.ma".
    6 include "ASM/Interpret2.ma".
    77
    88include "Clight/labelSimulation.ma".
Note: See TracChangeset for help on using the changeset viewer.