diff --git a/src/nlsat/nlsat_simple_checker.cpp b/src/nlsat/nlsat_simple_checker.cpp
index 047b67e0e..f4bb5e648 100644
--- a/src/nlsat/nlsat_simple_checker.cpp
+++ b/src/nlsat/nlsat_simple_checker.cpp
@@ -301,6 +301,7 @@ namespace nlsat {
             if (kd == atom::GT)
                 return GT;
             UNREACHABLE();
+            return EQ;
         }
         bool update_interval_intersection(Domain_Interval &ia, const Domain_Interval &ib) {
             TRACE("linxi_simple_checker",
@@ -2059,4 +2060,4 @@ else { // ( == 0) + (c > 0) -> > 0
         LINXI_DEBUG;
         return m_imp->operator()();
     }
-}
\ No newline at end of file
+}