Changeset 720 for src/Clight/Csyntax.ma


Ignore:
Timestamp:
Mar 29, 2011, 6:21:16 PM (9 years ago)
Author:
campbell
Message:

Sort out cost labels.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/Csyntax.ma

    r718 r720  
    2020include "utilities/Coqlib.ma".
    2121include "common/Errors.ma".
    22 include "Clight/CostLabel.ma".
     22include "common/CostLabel.ma".
    2323
    2424(* * * Abstract syntax *)
Note: See TracChangeset for help on using the changeset viewer.