From a5dafcf58bcbc5f3387169a8ea287fa57c0b0e32 Mon Sep 17 00:00:00 2001 From: Timotej Kapus Date: Sat, 2 Nov 2019 13:58:26 +0000 Subject: [expr-visitor] Remove unnecessary allocation --- include/klee/Expr/ExprVisitor.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include') 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 &_argument) : kind(_kind), argument(_argument) {} -- cgit 1.4.1