Project

General

Profile

Revision bc7b6c62 src/parser_lustre.mly

View differences:

src/parser_lustre.mly
259 259
| automaton stmt_list {let eql, assertl, annotl = $2 in ((Aut $1)::eql), assertl, annotl}
260 260

  
261 261
automaton:
262
 AUTOMATON type_ident handler_list { (Automata.mkautomata (get_loc ()) $2 $3); failwith "not implemented" }
262
 AUTOMATON type_ident handler_list { Automata.mkautomata (get_loc ()) $2 $3 }
263 263

  
264 264
handler_list:
265 265
     { [] }

Also available in: Unified diff