1 files changed, 3 insertions, 5 deletions
diff --git a/src/smt/smt_options_template.cpp b/src/smt/smt_options_template.cpp
index 8c7fa1abf..f34a0e2db 100644
--- a/src/smt/smt_options_template.cpp
+++ b/src/smt/smt_options_template.cpp
@@ -47,13 +47,11 @@ void SmtEngine::setOption(const std::string& key, const CVC4::SExpr& value)
     Dump("benchmark") << SetOptionCommand(key, value);
   }
 
-  stringstream ss;
-  ss << value;
-  string optarg = ss.str();
+  string optarg = value.getValue();
 
   ${smt_setoption_handlers}
 
-#line 57 "${template}"
+#line 55 "${template}"
 
   throw BadOptionException();
 }
@@ -70,7 +68,7 @@ CVC4::SExpr SmtEngine::getOption(const std::string& key) const
 
   ${smt_getoption_handlers}
 
-#line 74 "${template}"
+#line 72 "${template}"
 
   throw BadOptionException();
 }