From 09a2ba4931601def7e9711f0b2194edf0428b3b1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 25 Oct 2022 10:28:25 -0700
Subject: [PATCH] remove artificial usage of function, it causes another
 compiler warning to refer to a function without arguments.

---
 src/muz/spacer/spacer_convex_closure.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/muz/spacer/spacer_convex_closure.cpp b/src/muz/spacer/spacer_convex_closure.cpp
index 2c11642c5..476821643 100644
--- a/src/muz/spacer/spacer_convex_closure.cpp
+++ b/src/muz/spacer/spacer_convex_closure.cpp
@@ -261,7 +261,6 @@ bool convex_closure::infer_div_pred(const vector<rational> &data, rational &m,
     });
     SASSERT(data.size() > 1);
     SASSERT(is_sorted(data));
-    (void)is_sorted;
 
     m = rational(2);