1 files changed, 1 insertions, 0 deletions
diff --git a/lib/SMT/SMTParser.h b/lib/SMT/SMTParser.h
index 780100b0..1e24122f 100644
--- a/lib/SMT/SMTParser.h
+++ b/lib/SMT/SMTParser.h
@@ -56,6 +56,7 @@ class SMTParser : public klee::expr::Parser {
   int Error(const std::string& s);
   
   int StringToInt(const std::string& s);
+  ExprHandle GetConstExpr(std::string val, uint8_t base, klee::Expr::Width w);
 
 
   typedef std::map<const std::string, ExprHandle> VarEnv;