1 files changed, 5 insertions, 2 deletions
diff --git a/src/theory/evaluator.cpp b/src/theory/evaluator.cpp
index b50b811bf..1d5b56bd4 100644
--- a/src/theory/evaluator.cpp
+++ b/src/theory/evaluator.cpp
@@ -199,8 +199,11 @@ Node Evaluator::eval(TNode n,
         }
 
         default:
-          std::cout << "Not supported: " << currNodeVal << std::endl;
-          std::exit(1);
+        {
+          Debug("evaluator") << "Kind " << currNodeVal.getKind()
+                             << " not supported" << std::endl;
+          d_results[currNode] = Result();
+        }
       }
     }
   }