From 00782931705b0f3dc48bd7541b18f3a96bfd62a4 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 8 May 2026 17:55:12 +0000
Subject: [PATCH] Polish api_bug sat.smt regression test cleanup

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/adbdc74f-5aab-4b0e-86a1-4ae2bdb4636e

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/test/api_bug.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/test/api_bug.cpp b/src/test/api_bug.cpp
index 09dd38f41..2030a014d 100644
--- a/src/test/api_bug.cpp
+++ b/src/test/api_bug.cpp
@@ -15,7 +15,6 @@ static void test_sat_smt_bv_model_reconstruction() {
         sat_smt_guard() { Z3_global_param_set("sat.smt", "true"); }
         ~sat_smt_guard() { Z3_global_param_set("sat.smt", "false"); }
     } guard;
-    (void)guard;
 
     Z3_context ctx = Z3_mk_context(nullptr);
     Z3_solver s = Z3_mk_solver(ctx);