-
Alexandre Duret-Lutz authored
compile with g++-4.3 otherwise. * src/Ltl-parse.yy (matchCharactersFromStream): Declare the chars as const to kill a g++ warning. * src/NeverClaim-parse.yy (yyerror): Declare the error message as const to kill a g++ warning.
ab1a2ae5