Changeset 2958


Ignore:
Timestamp:
Mar 26, 2013, 4:45:03 PM (4 years ago)
Author:
sacerdot
Message:

Error message implemented.

Location:
src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL_semantics.ma

    r2946 r2958  
    104104#abs cases (absurd ? abs ?) @Zlt_to_not_Zle assumption
    105105qed.
    106 
    107 (* move *)
    108 axiom StackOverflow : ErrorMessage.
    109106
    110107definition rtl_setup_call_separate_overflow :
  • src/common/ErrorMessages.ma

    r2807 r2958  
    7777 | FrameErrorOnPop : ErrorMessage
    7878 | FunctionNotFound : ErrorMessage
     79 | StackOverflow : ErrorMessage.
    7980 .
Note: See TracChangeset for help on using the changeset viewer.