1 files changed, 1 insertions, 1 deletions
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: