mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-03 12:51:22 +00:00
Code Activity

Fixed model translate method in Python API (#4753)

Browse source
This commit is contained in:
Andy Wright 2020-10-25 18:42:17 -04:00 • committed by GitHub
parent 9c08b60b5a
commit 34e0e26e3d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/python/z3/z3.py
View file

@ -6266,7 +6266,7 @@ class ModelRef(Z3PPObject):
if z3_debug(): if z3_debug():
_z3_assert(isinstance(target, Context), "argument must be a Z3 context") _z3_assert(isinstance(target, Context), "argument must be a Z3 context")
model = Z3_model_translate(self.ctx.ref(), self.model, target.ref()) model = Z3_model_translate(self.ctx.ref(), self.model, target.ref())
return Model(model, target) return ModelRef(model, target)
def __copy__(self): def __copy__(self):
return self.translate(self.ctx) return self.translate(self.ctx)