From 3feac9511921d71352efe436b14fd77ac30b263b Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 24 Feb 2026 04:42:49 +0000
Subject: [PATCH] Simplify boolean return in goOnBindingCb

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/api/go/propagator_callbacks.go | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/api/go/propagator_callbacks.go b/src/api/go/propagator_callbacks.go
index d620165a8..dfcf09583 100644
--- a/src/api/go/propagator_callbacks.go
+++ b/src/api/go/propagator_callbacks.go
@@ -134,10 +134,7 @@ func goOnBindingCb(ctx C.uintptr_t, cb C.Z3_solver_callback, q C.Z3_ast, inst C.
 		old := p.cb
 		p.cb = cb
 		defer func() { p.cb = old }()
-		if h.OnBinding(newExpr(p.ctx, q), newExpr(p.ctx, inst)) {
-			return C.bool(true)
-		}
-		return C.bool(false)
+		return C.bool(h.OnBinding(newExpr(p.ctx, q), newExpr(p.ctx, inst)))
 	}
 	return C.bool(true)
 }