alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/ltlparse/ltlscan.ll (to_parse_size): Declare as size_t to

Browse source 
remove a warning with newer versions of Flex.
This commit is contained in:
Alexandre Duret-Lutz 2003-05-15 08:55:52 +00:00
parent a92327d30b
commit f1838ab8ef
2 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltlparse/ltlscan.ll
View file

@ -17,7 +17,7 @@
yylloc->columns (yyleng);
static const char *to_parse = 0;
static int to_parse_size = 0;
static size_t to_parse_size = 0;
void
flex_set_buffer(const char *buf)