Project

General

Profile

Revision 566dbf49 src/parserLustreSpec.mly

View differences:

src/parserLustreSpec.mly
73 73
%nonassoc UMINUS
74 74

  
75 75
%start lustre_annot
76
%type <LustreSpec.expr_annot> lustre_annot
76
%type <LustreSpec.ident -> LustreSpec.expr_annot> lustre_annot
77 77

  
78 78
%start lustre_spec
79 79
%type <LustreSpec.node_annot> lustre_spec
......
287 287
| STRING {Const_string $1}
288 288

  
289 289
lustre_annot:
290
lustre_annot_list EOF { $1 }
290
lustre_annot_list EOF { fun node_id -> $1 }
291 291

  
292 292
lustre_annot_list:
293 293
  { [] } 

Also available in: Unified diff