src/ltlparse/ltlscan.ll · cc519254c59a6ae5897da8643ef46fd8f8beb453 · Spot / Spot · GitLab

Apr 28, 2003
cc519254
* src/ltlparse/Makefile.am (CXXFLAGS): Turn on GCC warnings · cc519254
Alexandre Duret-Lutz authored Apr 28, 2003
```
now that CVS Bison is fixed.
* src/ltlparse/ltlscan.ll: Use yyunput to shut up a GCC warning.
```
cc519254
* src/ltlparse/Makefile.am (CXXFLAGS): Turn on GCC warnings
Alexandre Duret-Lutz authored Apr 28, 2003
```
now that CVS Bison is fixed.
* src/ltlparse/ltlscan.ll: Use yyunput to shut up a GCC warning.
```