diff -Naur stp-r940-origin/src/parser/CVC.y stp-r940/src/parser/CVC.y
--- stp-r940-origin/src/parser/CVC.y	2015-03-03 18:21:45.448879199 +0800
+++ stp-r940/src/parser/CVC.y	2015-03-03 18:22:15.728878966 +0800
@@ -32,9 +32,12 @@
     FatalError("");
     return YY_EXIT_FAILURE;
   };
+  int yyerror(void* AssertsQuery, const char* s) { return yyerror(s); }
   
   %}
 
+%parse-param {void* AssertsQuery}
+
 %union {
 
   unsigned int uintval;                 /* for numerals in types. */
diff -Naur stp-r940-origin/src/parser/smtlib2.y stp-r940/src/parser/smtlib2.y
--- stp-r940-origin/src/parser/smtlib2.y	2015-03-03 18:21:45.448879199 +0800
+++ stp-r940/src/parser/smtlib2.y	2015-03-03 18:23:26.164878426 +0800
@@ -64,6 +64,7 @@
     FatalError("");
     return 1;
   }
+  int yyerror(void* AssertsQuery, const char* s) { return yyerror(s); }
 
   ASTNode querysmt2;
   ASTVec assertionsSMT2;
@@ -75,6 +76,8 @@
 #define YYPARSE_PARAM AssertsQuery
   %}
 
+%parse-param {void* AssertsQuery}
+
 %union {  
   unsigned uintval;                  /* for numerals in types. */
   //ASTNode,ASTVec
diff -Naur stp-r940-origin/src/parser/smtlib.y stp-r940/src/parser/smtlib.y
--- stp-r940-origin/src/parser/smtlib.y	2015-03-03 18:21:45.456879199 +0800
+++ stp-r940/src/parser/smtlib.y	2015-03-03 18:23:05.152878587 +0800
@@ -54,6 +54,7 @@
     FatalError("");
     return 1;
   }
+  int yyerror(void* AssertsQuery, const char* s) { return yyerror(s); }
 
   ASTNode query;
 #define YYLTYPE_IS_TRIVIAL 1
@@ -63,6 +64,8 @@
 #define YYPARSE_PARAM AssertsQuery
   %}
 
+%parse-param {void* AssertsQuery}
+
 %union {  
   // FIXME: Why is this not an UNSIGNED int?
   int uintval;                  /* for numerals in types. */