From 34e0e26e3d4034af1e2550ebdde74bf37a022134 Mon Sep 17 00:00:00 2001 From: Andy Wright Date: Sun, 25 Oct 2020 18:42:17 -0400 Subject: [PATCH] Fixed model translate method in Python API (#4753) --- src/api/python/z3/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index fdeb424bf..c8985cfcd 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -6266,7 +6266,7 @@ class ModelRef(Z3PPObject): if z3_debug(): _z3_assert(isinstance(target, Context), "argument must be a Z3 context") model = Z3_model_translate(self.ctx.ref(), self.model, target.ref()) - return Model(model, target) + return ModelRef(model, target) def __copy__(self): return self.translate(self.ctx)