From f1838ab8ef5b783566879d025f4424af92c2df57 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 15 May 2003 08:55:52 +0000 Subject: [PATCH] * src/ltlparse/ltlscan.ll (to_parse_size): Declare as size_t to remove a warning with newer versions of Flex. --- ChangeLog | 3 +++ src/ltlparse/ltlscan.ll | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index e53acced8..5e55e353e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2003-05-15 Alexandre Duret-Lutz + * src/ltlparse/ltlscan.ll (to_parse_size): Declare as size_t to + remove a warning with newer versions of Flex. + * src/ltlparse/ltlparse.yy (error_list, parse_environment, result): CVS Bison now supports %parse-param for the C++ skeleton; pass these variables as arguments to the Parser::Parser constructor instead of diff --git a/src/ltlparse/ltlscan.ll b/src/ltlparse/ltlscan.ll index 0606b33ea..ebfa55a7d 100644 --- a/src/ltlparse/ltlscan.ll +++ b/src/ltlparse/ltlscan.ll @@ -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)