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

listb.ma => listb_extra.ma for extraction

File:
1 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
Note: See TracChangeset for help on using the changeset viewer.