Remove dead code in evaluator (#2389)

This should fix Coverity issue 1470214.

diff --git a/src/theory/evaluator.cpp b/src/theory/evaluator.cpp
index 02083069d016f50d72f988132e898ee33642d728..4285a65cf209aaa83b615a869e679d6657df0904 100644 (file)
--- 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,