From 2c472aaa102408477df851faa7ebcfdc439707b7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 5 Feb 2021 12:09:24 -0800 Subject: [PATCH] #4999 use typing Iterable --- src/api/python/z3/z3.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 56db9faff..8c91c5cdc 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -50,7 +50,7 @@ import sys import io import math import copy -import collections +from typing import Iterable Z3_DEBUG = __debug__ @@ -7500,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, collections.Iterable): + if isinstance(arg, Iterable): return [asoft(a) for a in arg] return asoft(arg)