Project

General

Profile

Revision 86ae18b7 src/lexerLustreSpec.mll

View differences:

src/lexerLustreSpec.mll
66 66
  "assumes", ASSUMES;
67 67
  "exists", EXISTS;
68 68
  "forall", FORALL;
69
  "c_code", CCODE;
70
  "matlab", MATLAB;
69 71
  ]
70 72

  
71 73
}

Also available in: Unified diff