From d9a63ce78690ef9b6313443d34a3ced45ad63949 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Mon, 22 Aug 2022 15:05:29 +0200
Subject: [PATCH] fix

---
 src/math/polysat/interval.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/math/polysat/interval.h b/src/math/polysat/interval.h
index 8bebb4cec..df2628c04 100644
--- a/src/math/polysat/interval.h
+++ b/src/math/polysat/interval.h
@@ -99,6 +99,8 @@ namespace polysat {
         bool currently_contains(eval_interval const& other) const {
             if (is_full())
                 return true;
+            if (other.is_full())
+                return false;
             // lo <= lo' <= hi' <= hi'
             if (lo_val() <= other.lo_val() && other.lo_val() <= other.hi_val() && other.hi_val() <= hi_val())
                 return true;