Changeset 2728 for src/RTLabs


Ignore:
Timestamp:
Feb 25, 2013, 9:42:12 PM (7 years ago)
Author:
sacerdot
Message:

listb.ma => listb_extra.ma for extraction

Location:
src/RTLabs
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/CostCheck.ma

    r2724 r2728  
    22include "RTLabs/CostSpec.ma".
    33include "utilities/extra_bool.ma".
    4 include "utilities/listb.ma".
     4include "utilities/listb_extra.ma".
    55include "RTLabs/CostMisc.ma".
    66
  • src/RTLabs/RTLabs_traces.ma

    r2724 r2728  
    44include "RTLabs/CostMisc.ma".
    55include "common/Executions.ma".
    6 include "utilities/listb.ma".
     6include "utilities/listb_extra.ma".
    77
    88
Note: See TracChangeset for help on using the changeset viewer.