From 518a8b2bdb662e141f40d13a6712522a439cee71 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 8 Aug 2024 12:42:30 -1000
Subject: [PATCH] fix the build

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/nlsat/nlsat_simple_checker.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
+}