From cd97597b4fade91b89566f92f4f951609958ffb5 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Wed, 3 Jun 2009 03:07:32 +0000
Subject: Update ConstantExpr::fromMemory to return a ref<Expr>.  - This
 function should go away...

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72751 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 f0adc42d..49dc65ec 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -321,7 +321,7 @@ public:
 
   virtual unsigned computeHash();
   
-  static ref<ConstantExpr> fromMemory(void *address, Width w);
+  static ref<Expr> fromMemory(void *address, Width w);
   void toMemory(void *address);
 
   static ref<Expr> alloc(uint64_t v, Width w) {
-- 
cgit 1.4.1