diff options
| author | Timotej Kapus <tk1713@ic.ac.uk> | 2019-11-02 13:58:26 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-11-07 19:57:55 +0000 |
| commit | a5dafcf58bcbc5f3387169a8ea287fa57c0b0e32 (patch) | |
| tree | b5d9972ee9626922ea532dc75e3ca8e8a72604a4 | |
| parent | be4fd315655a1be889dc319c7ff3f89e40922e02 (diff) | |
| download | klee-a5dafcf58bcbc5f3387169a8ea287fa57c0b0e32.tar.gz | |
[expr-visitor] Remove unnecessary allocation
| -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) {} |