diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-27 18:59:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-27 18:59:59 -0700 |
| commit | 54a5a142a8522ad2edb26ec934729edfb97ead7f (patch) | |
| tree | 81bfa281585a52a14807d700abda239376906c57 /src/theory/evaluator.cpp | |
| parent | f8bda2828e5f3e984623e38ea0778d36144bd05c (diff) | |
Remove dead code in evaluator (#2389)
This should fix Coverity issue 1470214.
Diffstat (limited to 'src/theory/evaluator.cpp')
| -rw-r--r-- | src/theory/evaluator.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/evaluator.cpp b/src/theory/evaluator.cpp index 02083069d..4285a65cf 100644 --- a/src/theory/evaluator.cpp +++ b/src/theory/evaluator.cpp @@ -111,8 +111,6 @@ Node EvalResult::toNode() const return Node(); } } - - return Node(); } Node Evaluator::eval(TNode n, |