Project

General

Profile

« Previous | Next » 

Revision 3dfb5cd8

Added by LĂ©lio Brun over 2 years ago

rewrite a bit the menhir parser

View differences:

src/parsers/lexerLustreSpec.mll
41 41
  "returns", RETURNS;
42 42
  "var", VAR;
43 43
  "import", IMPORT;
44
  "imported", IMPORTED;
44
  (* "imported", IMPORTED; *)
45 45
  "int", TINT;
46 46
  "bool", TBOOL;
47 47
  (* "float", TFLOAT; *)

Also available in: Unified diff