From dfb7c87448ceccb31f53f177684225fbbc4b3eb3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 4 Feb 2021 15:46:34 -0800 Subject: [PATCH] #4997 --- 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 f5c5ffb98..70b9be2bc 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -7499,7 +7499,7 @@ class Optimize(Z3PPObject): def asoft(a): v = Z3_optimize_assert_soft(self.ctx.ref(), self.optimize, a.as_ast(), weight, id) return OptimizeObjective(self, v, False) - if isinstance(arg, iterable): + if isinstance(arg, Iterable): return [asoft(a) for a in arg] return asoft(arg)