Changeset 37200 in project


Ignore:
Timestamp:
02/03/19 16:12:16 (2 weeks ago)
Author:
juergen
Message:

typo

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/5/checks

    r37192 r37200  
    99returns it in case of success unchanged. Otherwise it prints a
    1010meaningful error message, showing i.a. the offending predicate and the
    11 argument's or result's name. They are implemented as macros instead of
     11argument's or result's name. Some are implemented as macros instead of
    1212procedures, because I didn't want an extra parameter with the argument's
    1313or result's name.
Note: See TracChangeset for help on using the changeset viewer.