Changeset 2646


Ignore:
Timestamp:
Feb 7, 2013, 9:44:29 PM (6 years ago)
Author:
sacerdot
Message:

A tag was classified as an error message. Fixed.

Location:
src/common
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/common/ErrorMessages.ma

    r2645 r2646  
    55 | EXTERNAL: ErrorMessage
    66 | Jump_expansion_failed : ErrorMessage
    7  | ASMTag : ErrorMessage
    87 | ValueIsNotABoolean : ErrorMessage
    98 | BadCast : ErrorMessage
  • src/common/PreIdentifiers.ma

    r2645 r2646  
    1616 | RegisterTag : identifierTag
    1717 | LabelTag : identifierTag
    18  | SymbolTag : identifierTag.
     18 | SymbolTag : identifierTag
     19 | ASMTag : identifierTag.
    1920
    2021inductive identifier (tag:identifierTag) : Type[0] ≝
Note: See TracChangeset for help on using the changeset viewer.