Project

General

Profile

« Previous | Next » 

Revision 91e96bd8

Added by LĂ©lio Brun 10 months ago

some more error messages

View differences:

src/parsers/lexer_lustre.mll
68 68
  "invariant", INVARIANT;
69 69
  "mode", MODE;
70 70
  "assume", ASSUME;
71
  "contract", CONTRACT;
72 71
  "guarantee", GUARANTEES;
73 72
  "exists", EXISTS;
74 73
  "forall", FORALL;

Also available in: Unified diff