remove deprecated bison option

kroening · kroening · commit f56e9f1cad71 · 2019-10-13T20:03:49.000+01:00
%error-verbose is deprecated since bison 3.0, and now triggers a warning.
diff --git a/src/jsil/parser.y b/src/jsil/parser.y
@@ -114,7 +114,6 @@ extern char *yyjsiltext;
 
 %start program
 
-%error-verbose
 %expect 0
 
 %%
diff --git a/src/xmllang/parser.y b/src/xmllang/parser.y
@@ -26,8 +26,6 @@ int yyxmlerror(const std::string &error)
 #endif
 %}
 
-%error-verbose
-
 %union {char *s;}
 
 %token STARTXMLDECL
