From 1117b3e69b16c992c5f41ff3f2873ac40fce2cff Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sat, 29 Feb 2020 12:36:08 -0600
Subject: Convert more uses of string to word (#3834)

---
 src/printer/smt2/smt2_printer.cpp | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/printer/smt2/smt2_printer.cpp')

diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp
index e3a65ca3f..87ddf6168 100644
--- a/src/printer/smt2/smt2_printer.cpp
+++ b/src/printer/smt2/smt2_printer.cpp
@@ -202,11 +202,9 @@ void Smt2Printer::toStream(std::ostream& out,
     }
 
     case kind::CONST_STRING: {
-      //const std::vector<unsigned int>& s = n.getConst<String>().getVec();
       std::string s = n.getConst<String>().toString(true);
       out << '"';
       for(size_t i = 0; i < s.size(); ++i) {
-        //char c = String::convertUnsignedIntToChar(s[i]);
         char c = s[i];
         if(c == '"') {
           if(d_variant == smt2_0_variant) {
-- 
cgit v1.2.3