swallow_semicolon_after_id_define
Merge pull request #95 from ethz-asl/fix/swallow_semicolon_after_id_define

swallow_semicolon_after_id_define