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);