From 38d6107de47a7997c4798525e1a0aaf993b36ca3 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 2 Feb 2026 17:08:52 +0000
Subject: [PATCH] Address code review feedback: clarify GIL flag and translate
 behavior

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 65171a53c..1a80747eb 100644
--- a/README.md
+++ b/README.md
@@ -220,8 +220,8 @@ python -c 'import z3; print(z3.get_version_string())'
 #### Free-Threaded Python Support (Python 3.13t)
 
 Python 3.13 introduced an experimental free-threaded build (also known as "nogil" or ABI tagged as ``3.13t``) 
-where the Global Interpreter Lock (GIL) can be disabled using the ``Py_GIL_DISABLED`` flag. This enables 
-true parallelism for Python threads on multi-core systems.
+where the Global Interpreter Lock (GIL) is disabled (indicated by the ``Py_GIL_DISABLED`` compile-time macro). 
+This enables true parallelism for Python threads on multi-core systems.
 
 **Current Status:**
 
@@ -235,7 +235,7 @@ installation. However, users should be aware of the following considerations:
    For safe multi-threaded use:
    - Create a separate ``Z3_context`` (``Context()`` in Python) for each thread
    - Do not share Z3 objects (contexts, solvers, formulas, etc.) between threads
-   - Use the ``.translate(ctx)`` method to move objects between contexts when needed
+   - Use the ``.translate(ctx)`` method to copy objects to a different context when needed
 
 2. **Safe Pattern Example**:
    ```python