Changeset 738 for src/Clight


Ignore:
Timestamp:
Apr 4, 2011, 5:13:10 PM (10 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/Clight/AST.ma

    r737 r738  
    3232axiom SymbolTag : String.
    3333
    34 definition ident ≝ Identifier SymbolTag.
     34definition ident ≝ identifier SymbolTag.
    3535
    3636definition ident_eq : ∀x,y:ident. (x=y) + (x≠y) ≝ identifier_eq ?.
Note: See TracChangeset for help on using the changeset viewer.