Changeset 2807 for src/common


Ignore:
Timestamp:
Mar 7, 2013, 5:43:15 PM (7 years ago)
Author:
mckinna
Message:

Yet another ErrorMessage?
Removed corresponding axiom in ERTL/ERTL_semantics.ma

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/ErrorMessages.ma

    r2796 r2807  
    7575 | BlockInFramesCorrupted : ErrorMessage
    7676 | FrameErrorOnPush : ErrorMessage
    77  | FrameErrorOnPop : ErrorMessage.
     77 | FrameErrorOnPop : ErrorMessage
     78 | FunctionNotFound : ErrorMessage
     79 .
Note: See TracChangeset for help on using the changeset viewer.