diff options
| -rw-r--r-- | include/klee/Expr/ExprVisitor.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/Expr/ExprVisitor.h b/include/klee/Expr/ExprVisitor.h index 03d4d77d..1614b2f2 100644 --- a/include/klee/Expr/ExprVisitor.h +++ b/include/klee/Expr/ExprVisitor.h @@ -23,7 +23,7 @@ namespace klee { private: // Action() {} Action(Kind _kind) - : kind(_kind), argument(ConstantExpr::alloc(0, Expr::Bool)) {} + : kind(_kind), argument(nullptr) {} Action(Kind _kind, const ref<Expr> &_argument) : kind(_kind), argument(_argument) {} |