Fix z3 import

3 files changed, 3 insertions, 3 deletions

diff --git a/miasm/analysis/depgraph.py b/miasm/analysis/depgraph.py
index 80e94c7f..7113dd51 100644
--- a/miasm/analysis/depgraph.py
+++ b/miasm/analysis/depgraph.py
@@ -15,7 +15,7 @@ from miasm.expression.expression_helper import possible_values
 
 try:
     import z3
-except ImportError:
+except:
     pass
 
 @total_ordering
diff --git a/miasm/analysis/dse.py b/miasm/analysis/dse.py
index 3f31f344..2c2b41f4 100644
--- a/miasm/analysis/dse.py
+++ b/miasm/analysis/dse.py
@@ -52,7 +52,7 @@ from collections import namedtuple
 
 try:
     import z3
-except ImportError:
+except:
     z3 = None
 
 from future.utils import viewitems
diff --git a/test/test_all.py b/test/test_all.py
index 02bddb51..7fb43525 100755
--- a/test/test_all.py
+++ b/test/test_all.py
@@ -923,7 +923,7 @@ By default, all tag are considered." % ", ".join(list(TAGS)), default="")
     # Handle Z3 dependency
     try:
         import z3
-    except ImportError:
+    except:
         print("%(red)s[Z3]%(end)s " % cosmetics.colors + \
             "Z3 and its python binding are necessary for TranslatorZ3.")
         if TAGS["z3"] not in exclude_tags: