fix for dejan: term ITEs now dumped correctly

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 5e8cef250e191c1bf35e75043bb4956e2b62ba96..069e5473e904f5f4ad64b1d1be7feaab66b87cf0 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -307,7 +307,7 @@ public:
     d_smt.addToModelCommand(c.clone());
   }
 
-  void nmNotifyNewSkolem(TNode n, std::string comment) {
+  void nmNotifyNewSkolem(TNode n, const std::string& comment) {
     std::string id = n.getAttribute(expr::VarNameAttr());
     DeclareFunctionCommand c(id,
                              n.toExpr(),