Ignore:
Timestamp:
Feb 24, 2013, 8:39:19 PM (7 years ago)
Author:
campbell
Message:

Add RTLabs cost labelling checks to compiler.ma.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/RTLabs/RTLabs_abstract.ma

    r2716 r2724  
    1010include "common/StructuredTraces.ma".
    1111include "RTLabs/CostSpec.ma". (* TODO: relocate definitions? *)
    12 include "utilities/deqsets_extras.ma".
     12include "utilities/deqsets_extra.ma".
    1313discriminator status_class.
    1414
Note: See TracChangeset for help on using the changeset viewer.