From a5820148545ce3ae3f52ac89eb366a54a6547443 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 5 Feb 2021 12:01:30 -0800 Subject: [PATCH] #4999 --- src/api/python/z3/z3.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 70b9be2bc..56db9faff 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -50,6 +50,7 @@ import sys import io import math import copy +import collections Z3_DEBUG = __debug__ @@ -7499,7 +7500,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, collections.Iterable): return [asoft(a) for a in arg] return asoft(arg)