1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index 69f9f1df..92b322f2 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -228,7 +228,7 @@ public:
   /// given object.
   static ref<Expr> createTempRead(const Array *array, Expr::Width w);
   
-  static ref<Expr> createPointer(uint64_t v);
+  static ref<ConstantExpr> createPointer(uint64_t v);
 
   struct CreateArg;
   static ref<Expr> createFromKind(Kind k, std::vector<CreateArg> args);