1 files changed, 1 insertions, 0 deletions
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();