Ignore:
Timestamp:
Feb 6, 2013, 5:03:19 PM (7 years ago)
Author:
campbell
Message:

Update some test cases.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/test/implicitcond.test.ma

    r2568 r2619  
    1414
    1515include "Clight/toCminor.ma".
    16 include "Cminor/semantics.ma".
     16include "Cminor/Cminor_semantics.ma".
    1717
    1818example e1: finishes_with (repr I32 2) ?
     
    2424
    2525include "Cminor/toRTLabs.ma".
    26 include "RTLabs/semantics.ma".
     26include "RTLabs/RTLabs_semantics.ma".
    2727include "Clight/label.ma".
    2828
Note: See TracChangeset for help on using the changeset viewer.