From 5dad1247deb779380e532b64a737dfea94e30c5d Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 16 Feb 2026 21:48:51 +0000
Subject: [PATCH] Fix variable naming: tmpFile -> tempFile for Go conventions

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 examples/go/go.mod             |  1 -
 examples/go/new_api_example.go | 10 +++++-----
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/examples/go/go.mod b/examples/go/go.mod
index 7ee4bbce2..2dbcc48f4 100644
--- a/examples/go/go.mod
+++ b/examples/go/go.mod
@@ -5,4 +5,3 @@ go 1.20
 require github.com/Z3Prover/z3/src/api/go v0.0.0
 
 replace github.com/Z3Prover/z3/src/api/go => ../../src/api/go
-
diff --git a/examples/go/new_api_example.go b/examples/go/new_api_example.go
index 28e1ea3c8..33a5ec7ad 100644
--- a/examples/go/new_api_example.go
+++ b/examples/go/new_api_example.go
@@ -53,7 +53,7 @@ func main() {
 	fmt.Println("\nExample 3: FromFile() - Load SMT-LIB2 from file")
 	
 	// Create a temporary SMT-LIB2 file
-	tmpFile, err := os.CreateTemp("", "test-*.smt2")
+	tempFile, err := os.CreateTemp("", "test-*.smt2")
 	if err != nil {
 		fmt.Println("Error creating temp file:", err)
 	} else {
@@ -62,14 +62,14 @@ func main() {
 (assert (or p q))
 (assert (or (not p) (not q)))`
 		
-		_, err = tmpFile.WriteString(content)
-		tmpFile.Close()
+		_, err = tempFile.WriteString(content)
+		tempFile.Close()
 		
 		if err != nil {
 			fmt.Println("Error writing temp file:", err)
 		} else {
 			solver3 := ctx.NewSolver()
-			solver3.FromFile(tmpFile.Name())
+			solver3.FromFile(tempFile.Name())
 			fmt.Println("Loaded SMT-LIB2 assertions from file")
 			
 			status3 := solver3.Check()
@@ -78,7 +78,7 @@ func main() {
 				fmt.Println("Found satisfying assignment")
 			}
 		}
-		os.Remove(tmpFile.Name()) // Clean up
+		os.Remove(tempFile.Name()) // Clean up
 	}
 
 	// Example 4: Parameter configuration