Project

General

Profile

Revision 5c1184ad src/lexer_lustre.mll

View differences:

src/lexer_lustre.mll
72 72
  "pre", PRE;
73 73
  "div", DIV;
74 74
  "const", CONST;
75
  "include", INCLUDE;
75
  "open", OPEN;
76 76
  "assert", ASSERT;
77 77
]
78 78

  

Also available in: Unified diff