From fe42c702fc0a15090941ff6565f0d17f94ba8d02 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Fri, 5 Jun 2009 06:15:06 +0000
Subject: Clean up a number of unused variable warnings when building w/o
 asserts.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72924 91177308-0d34-0410-b5e6-96231b3b80d8
---
 include/klee/Expr.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'include')

diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index bbaa55e4..d58fdc81 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -320,6 +320,7 @@ public:
 
   virtual ref<Expr> rebuild(ref<Expr> kids[]) const { 
     assert(0 && "rebuild() on ConstantExpr"); 
+    return (Expr*) this;
   }
 
   virtual unsigned computeHash();
-- 
cgit 1.4.1