From a785ffe0bae5c22454b638045310a78954f3b16a Mon Sep 17 00:00:00 2001 From: Alcides Fonseca Date: Fri, 25 Jan 2019 14:42:22 +0000 Subject: [PATCH] Updated deepcopy to the latest Python API --- src/api/python/z3/z3.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 65f634b6b..556c920f6 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -5340,7 +5340,7 @@ class Goal(Z3PPObject): def __copy__(self): return self.translate(self.ctx) - def __deepcopy__(self): + def __deepcopy__(self, memo={}): return self.translate(self.ctx) def simplify(self, *arguments, **keywords): @@ -5528,7 +5528,7 @@ class AstVector(Z3PPObject): def __copy__(self): return self.translate(self.ctx) - def __deepcopy__(self): + def __deepcopy__(self, memo={}): return self.translate(self.ctx) def __repr__(self): @@ -5872,7 +5872,7 @@ class FuncInterp(Z3PPObject): def __copy__(self): return self.translate(self.ctx) - def __deepcopy__(self): + def __deepcopy__(self, memo={}): return self.translate(self.ctx) def as_list(self): @@ -6168,7 +6168,7 @@ class ModelRef(Z3PPObject): def __copy__(self): return self.translate(self.ctx) - def __deepcopy__(self): + def __deepcopy__(self, memo={}): return self.translate(self.ctx) def Model(ctx = None): @@ -6786,7 +6786,7 @@ class Solver(Z3PPObject): def __copy__(self): return self.translate(self.ctx) - def __deepcopy__(self): + def __deepcopy__(self, memo={}): return self.translate(self.ctx) def sexpr(self):