Project

General

Profile

Revision 6efbcb73 src/parser_lustre.mly

View differences:

src/parser_lustre.mly
185 185
				  nodei_prototype = $13;
186 186
				  nodei_in_lib = $14;})
187 187
     in
188
     pop_node ();
189 188
     (*add_imported_node $3 nd;*) [nd] }
190 189

  
191 190
prototype_opt:
......
224 223
				    node_spec = $1;
225 224
				    node_annot = annots})
226 225
      in
226
      pop_node ();
227 227
     (*add_node $3 nd;*) [nd] }
228 228
    
229 229
 nodespec_list:

Also available in: Unified diff