Project

General

Profile

Revision f9f06e7d src/parsers/lexerLustreSpec.mll

View differences:

src/parsers/lexerLustreSpec.mll
25 25
  create_hashtable 20 [
26 26
  (* "true", TRUE; *)
27 27
  (* "false", FALSE; *)
28
  "function", FUNCTION;
28 29
  "if", IF;
29 30
  "then", THEN;
30 31
  "else", ELSE;
......
55 56
  "const", CONST;
56 57
  (* "include", INCLUDE; *)
57 58
  "assert", ASSERT;
58
  "ensure", ENSURE;
59
   "ensure", ENSURE;
59 60
  "require", REQUIRE;
60 61
  (* "observer", OBSERVER; *)
61 62
  "invariant", INVARIANT;

Also available in: Unified diff