From f0077fa95b7fbb42daeef772be454b84535732da Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 6 Feb 2014 11:07:34 -0500
Subject: [PATCH] Oops.. premature push on lexer fix (remove debugging output)

---
 src/parser/smt2/Smt2.g | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index 973bd3c75..22af762c7 100644
--- a/src/parser/smt2/Smt2.g
+++ b/src/parser/smt2/Smt2.g
@@ -1194,7 +1194,6 @@ str[std::string& s]
       }
       *p = '\0';
       s = p_orig;
-std::cout << "string literal>>" << s << "<<" << std::endl;
       free(p_orig);
     }
   ;
-- 
2.30.2