1 files changed, 1 insertions, 1 deletions
diff --git a/lib/SMT/smtlib.y b/lib/SMT/smtlib.y
index 10ed3c89..be1c5143 100644
--- a/lib/SMT/smtlib.y
+++ b/lib/SMT/smtlib.y
@@ -76,7 +76,7 @@ int smtliberror(const char *s)
 %union {
   std::string *str;
   std::vector<std::string> *strvec;
-  Expr node;
+  klee::expr::ExprHandle* node;
   std::vector<void*> *vec;
 };