Project

General

Profile

Revision f4cba4b8 src/parsers/parserLustreSpec.mly

View differences:

src/parsers/parserLustreSpec.mly
95 95
    { Guarantees($2)::$4 }
96 96
| MODE ident LPAR mode_content RPAR SCOL contract
97 97
    { Mode($2,$4)::$7 }	
98
| IMPORT ident LPAR tuple_expr RPAR returns LPAR tuple_expr RPAR SCOL contract
98
| IMPORT ident LPAR expr RPAR returns LPAR expr RPAR SCOL contract
99 99
    { Import($2, $4, $8)::$11 }
100 100
	
101 101

  

Also available in: Unified diff