1 files changed, 0 insertions, 1 deletions
diff --git a/lib/SMT/smtlib.y b/lib/SMT/smtlib.y
index 43682cf4..c169b4e0 100644
--- a/lib/SMT/smtlib.y
+++ b/lib/SMT/smtlib.y
@@ -848,7 +848,6 @@ basic_term:
     }
   | symb
     {
-      std::cout << "SYMBOL " << *$1 << "\n";
       $$ = PARSER->GetVar(*$1);
     }
 ;