-
Alexandre Duret-Lutz authored
* spot/parsetl/fmterror.cc, spot/tl/parse.hh: Add an option to display shifted diagnostics. * spot/twaalgos/word.cc: Use the new parser interface and the above option.
8360c4e8
* spot/parsetl/fmterror.cc, spot/tl/parse.hh: Add an option to display shifted diagnostics. * spot/twaalgos/word.cc: Use the new parser interface and the above option.