Project

General

Profile

Revision c00d0b42 src/lexer_lustre.mll

View differences:

src/lexer_lustre.mll
72 72 
  "div", DIV;
73 73 
  "const", CONST;
74 74 
  "assert", ASSERT;
75 
  "in", IN;
76 
  "prototype", PROTOTYPE;
75 77 
]
76 78 

  		




  77
  79
  
    

  		












Also available in:  Unified diff