Skip to content
Permalink
Browse files

Fix import warning in python 3.7

  • Loading branch information...
cdonovick committed Mar 6, 2019
1 parent 395ee50 commit b0f031d9f595dddbd4febd3dd3bad487f3e112d9
Showing with 6 additions and 2 deletions.
  1. +6 −2 pysmt/walkers/generic.py
@@ -17,7 +17,11 @@
#
from functools import partial
from six import with_metaclass
import collections
import sys
if sys.version_info >= (3, 3):
from collections.abc import Iterable
else:
from collections import Iterable

import pysmt.operators as op
import pysmt.exceptions
@@ -40,7 +44,7 @@ def walk_special(...):
"""
def __init__(self, *nodetypes):
if len(nodetypes) == 1 and isinstance(nodetypes[0], collections.Iterable):
if len(nodetypes) == 1 and isinstance(nodetypes[0], Iterable):
nodetypes = nodetypes[0]
self.nodetypes = list(nodetypes)

0 comments on commit b0f031d

Please sign in to comment.
You can’t perform that action at this time.