From a162859920beccf91af1a3a5038c9cf15700d53b Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 14 Jun 2009 08:16:07 +0000 Subject: More ConstantExpr cleanup. - Change Executor::evalConstant to return ConstantExpr. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73337 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Expr.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include') 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 createTempRead(const Array *array, Expr::Width w); - static ref createPointer(uint64_t v); + static ref createPointer(uint64_t v); struct CreateArg; static ref createFromKind(Kind k, std::vector args); -- cgit 1.4.1