1 files changed, 1 insertions, 3 deletions
diff --git a/lib/SMT/smtlib.lex b/lib/SMT/smtlib.lex
index 75986a99..9f01c437 100644
--- a/lib/SMT/smtlib.lex
+++ b/lib/SMT/smtlib.lex
@@ -21,9 +21,7 @@
 
 #include <iostream>
 #include "parser_temp.h"
-//#include "expr_manager.h" /* for the benefit of parsesmtlib_defs.h */
-#include "parsesmtlib_defs.h"
-//#include "debug.h"
+#include "smtlib_parser.h"
 
 namespace CVC3 {
   extern ParserTemp* parserTemp;