mirror of
https://github.com/Z3Prover/z3
synced 2025-04-13 20:38:43 +00:00
Python API bugfix. Thanks to Tom Ball for reporting this one.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
18c3c1d9d6
commit
9dd4d7b011