From 53c6df7941e83e7e4993eba8ee39bbc81cdd3fe3 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Tue, 9 Jun 2009 07:57:12 +0000
Subject: Made expression nodes int the SMT parser be pointers to ExprHandle.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73131 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/SMT/smtlib_parser.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/SMT/smtlib_parser.h')

diff --git a/lib/SMT/smtlib_parser.h b/lib/SMT/smtlib_parser.h
index c587a126..1544c35e 100644
--- a/lib/SMT/smtlib_parser.h
+++ b/lib/SMT/smtlib_parser.h
@@ -156,7 +156,7 @@ typedef union YYSTYPE
 {
   std::string *str;
   std::vector<std::string> *strvec;
-  Expr node;
+  klee::expr::ExprHandle* node;
   std::vector<void*> *vec;
 }
 /* Line 1489 of yacc.c.  */
-- 
cgit 1.4.1