yyleng is an int, not a std::size_t

kroening · kroening · commit 587689d4f2f4 · 2016-11-08T17:52:38.000Z
diff --git a/src/json/parser.y b/src/json/parser.y
@@ -7,7 +7,7 @@
 
 int yyjsonlex();
 extern char *yyjsontext;
-extern std::size_t yyjsonleng;
+extern int yyjsonleng; // really an int, not a size_t
 
 static std::string convert_TOK_STRING()
 {

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@`
`7`	`7`
`8`	`8`	`int yyjsonlex();`
`9`	`9`	`extern char *yyjsontext;`
`10`		`-extern std::size_t yyjsonleng;`
	`10`	`+extern int yyjsonleng; // really an int, not a size_t`
`11`	`11`
`12`	`12`	`static std::string convert_TOK_STRING()`
`13`	`13`	`{`