1 files changed, 4 insertions, 2 deletions
diff --git a/include/klee/util/ExprVisitor.h b/include/klee/util/ExprVisitor.h
index 8f8617e3..d17cb4d8 100644
--- a/include/klee/util/ExprVisitor.h
+++ b/include/klee/util/ExprVisitor.h
@@ -23,7 +23,7 @@ namespace klee {
     private:
       //      Action() {}
       Action(Kind _kind) 
-        : kind(_kind), argument(0,Expr::Bool) {}
+        : kind(_kind), argument(ConstantExpr::alloc(0, Expr::Bool)) {}
       Action(Kind _kind, const ref<Expr> &_argument) 
         : kind(_kind), argument(_argument) {}
 
@@ -33,7 +33,9 @@ namespace klee {
       Kind kind;
       ref<Expr> argument;
 
-      static Action changeTo(const ref<Expr> &expr) { return Action(ChangeTo,expr); }
+      static Action changeTo(const ref<Expr> &expr) { 
+        return Action(ChangeTo,expr); 
+      }
       static Action doChildren() { return Action(DoChildren); }
       static Action skipChildren() { return Action(SkipChildren); }
     };