1 files changed, 3 insertions, 0 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index 24a1cb2e..31bed1a8 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -329,6 +329,9 @@ public:
     return (value > Limit) ? Limit :  getZExtValue();
   }
 
+  /// toString - Return the constant value as a decimal string.
+  void toString(std::string &Res) const;
+ 
   int compareContents(const Expr &b) const { 
     const ConstantExpr &cb = static_cast<const ConstantExpr&>(b);
     if (width != cb.width) return width < cb.width ? -1 : 1;