From df0a449f7094c00baf30c53edcbee45fa724fe6f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 8 Feb 2021 10:58:42 -0800
Subject: [PATCH] fix some build warnings exposed in #5005

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/nlsat/nlsat_interval_set.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/nlsat/nlsat_interval_set.cpp b/src/nlsat/nlsat_interval_set.cpp
index aeca2a363..226b5b381 100644
--- a/src/nlsat/nlsat_interval_set.cpp
+++ b/src/nlsat/nlsat_interval_set.cpp
@@ -92,6 +92,7 @@ namespace nlsat {
         CTRACE("nlsat", s > 0, display(tout, am, curr); tout << "  "; display(tout, am, next); tout << "\n";);
         SASSERT(s <= 0);
         SASSERT(!is_zero(s) || curr.m_upper_open || next.m_lower_open);        
+        (void)s;
         return true;
     }