1 files changed, 1 insertions, 1 deletions
diff --git a/lib/SMT/parser.h b/lib/SMT/parser.h
index c061841f..30a01ac2 100644
--- a/lib/SMT/parser.h
+++ b/lib/SMT/parser.h
@@ -48,7 +48,7 @@ namespace CVC3 {
     // Destructor
     ~Parser();
     // Read the next command.  
-    klee::expr::ExprHandle* 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