fix the build

levnach · levnach · commit 518a8b2bdb66 · 2024-08-11T12:45:36.000-10:00
Signed-off-by: Lev Nachmanson &lt;levnach@hotmail.com&gt;
diff --git 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()();
     }
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -301,6 +301,7 @@ namespace nlsat {`
`301`	`301`	`if (kd == atom::GT)`
`302`	`302`	`return GT;`
`303`	`303`	`UNREACHABLE();`
	`304`	`+ return EQ;`
`304`	`305`	`}`
`305`	`306`	`bool update_interval_intersection(Domain_Interval &ia, const Domain_Interval &ib) {`
`306`	`307`	`TRACE("linxi_simple_checker",`
`@@ -2059,4 +2060,4 @@ else { // ( == 0) + (c > 0) -> > 0`
`2059`	`2060`	`LINXI_DEBUG;`
`2060`	`2061`	`return m_imp->operator()();`
`2061`	`2062`	`}`
`2062`		`-}`
	`2063`	`+}`