Ignore:
Timestamp:
Feb 23, 2013, 1:03:15 AM (8 years ago)
Author:
sacerdot
Message:

utilities/deqsets.ma => utilities/deqsets_extra.ma for extraction

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLabs_traces.ma

    r2677 r2716  
    23072307qed.
    23082308
    2309 include alias "utilities/deqsets.ma".
     2309include alias "utilities/deqsets_extras.ma".
    23102310
    23112311(* Build the tail of the "bad" loop using the reappearance of the original pc,
Note: See TracChangeset for help on using the changeset viewer.