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

1 files changed, 1 insertions, 3 deletions

diff --git a/lib/SMT/parser.h b/lib/SMT/parser.h
index c55d7eda..c061841f 100644
--- a/lib/SMT/parser.h
+++ b/lib/SMT/parser.h
@@ -29,8 +29,6 @@
 #define _cvc3__parser_h_
 
 namespace CVC3 {
-
-  //class Expr;
   
   // Internal parser state and other data
   class ParserData;
@@ -50,7 +48,7 @@ namespace CVC3 {
     // Destructor
     ~Parser();
     // Read the next command.  
-    Expr next();
+    klee::expr::ExprHandle* next();
     // Check if we are done (end of input has been reached)
     bool done() const;
     // The same check can be done by using the class Parser's value as