Ignore:
Timestamp:
Feb 15, 2013, 11:27:56 AM (8 years ago)
Author:
campbell
Message:

Intermediate measurable proof check-in before I change its traces again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/ErrorMessages.ma

    r2646 r2668  
    6464 | FinalState : ErrorMessage
    6565 | EmptyStack: ErrorMessage
    66  | OutOfBounds: ErrorMessage.
     66 | OutOfBounds: ErrorMessage
     67 | UnexpectedIO : ErrorMessage
     68 | TerminatedEarly : ErrorMessage.
Note: See TracChangeset for help on using the changeset viewer.