diff options
| -rw-r--r-- | miasm2/ir/translators/__init__.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/miasm2/ir/translators/__init__.py b/miasm2/ir/translators/__init__.py index 8087a7ee..22e00d98 100644 --- a/miasm2/ir/translators/__init__.py +++ b/miasm2/ir/translators/__init__.py @@ -3,5 +3,10 @@ from miasm2.ir.translators.translator import Translator import miasm2.ir.translators.C import miasm2.ir.translators.python import miasm2.ir.translators.miasm +try: + import miasm2.ir.translators.z3_ir +except ImportError: + # Nothing to do, z3 not available + pass __all__ = ["Translator"] |