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

May 15, 2003
f1838ab8
* src/ltlparse/ltlscan.ll (to_parse_size): Declare as size_t to · f1838ab8
Alexandre Duret-Lutz authored May 15, 2003
```
remove a warning with newer versions of Flex.
```
f1838ab8
* src/ltlparse/ltlscan.ll (to_parse_size): Declare as size_t to
Alexandre Duret-Lutz authored May 15, 2003
```
remove a warning with newer versions of Flex.
```