Project

General

Profile

« Previous | Next » 

Revision f3d244c1

Added by Xavier Thirioux about 8 years ago

...

View differences:

src/parser_lustre.mly
623 623

  
624 624
ident_list:
625 625
  vdecl_ident {[$1]}
626
| vdecl_ident COMMA ident_list {$1::$3}
626
| ident_list COMMA vdecl_ident {$3::$1}
627 627

  
628 628
SCOL_opt:
629 629
    SCOL {} | {}

Also available in: Unified diff