1 files changed, 8 insertions, 1 deletions
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp
index b6833f24..a89163f2 100644
--- a/lib/Expr/Expr.cpp
+++ b/lib/Expr/Expr.cpp
@@ -9,7 +9,6 @@
 
 #include "klee/Expr.h"
 
-
 #include "klee/Machine.h"
 #include "llvm/Type.h"
 #include "llvm/DerivedTypes.h"
@@ -21,6 +20,8 @@
 
 #include "klee/util/ExprPPrinter.h"
 
+#include <sstream>
+
 using namespace klee;
 using namespace llvm;
 
@@ -345,6 +346,12 @@ void ConstantExpr::toMemory(void *address) {
   }
 }
 
+void ConstantExpr::toString(std::string &Res) const {
+  std::stringstream os;
+  os << *this;
+  Res = os.str();
+}
+
 ref<ConstantExpr> ConstantExpr::Concat(const ref<ConstantExpr> &RHS) {
   Expr::Width W = getWidth() + RHS->getWidth();
   assert(W <= 64 && "FIXME: Support arbitrary bit-widths!");