Ignore:
Timestamp:
Apr 4, 2011, 5:13:10 PM (9 years ago)
Author:
campbell
Message:

Use lower case names for identifiers for consistency with CompCert? derived code
and to prevent confusion with the back-end equivalents until they're all merged.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/CostLabel.ma

    r737 r738  
    33axiom CostTag : String.
    44
    5 definition costlabel ≝ Identifier CostTag.
     5definition costlabel ≝ identifier CostTag.
    66
    77(* For use in importing programs in intermediate languages. *)
Note: See TracChangeset for help on using the changeset viewer.