diff options
Diffstat (limited to 'miasm/ir/translators/__init__.py')
| -rw-r--r-- | miasm/ir/translators/__init__.py | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/miasm/ir/translators/__init__.py b/miasm/ir/translators/__init__.py deleted file mode 100644 index 45e19803..00000000 --- a/miasm/ir/translators/__init__.py +++ /dev/null @@ -1,13 +0,0 @@ -"""IR Translators""" -from miasm.ir.translators.translator import Translator -import miasm.ir.translators.C -import miasm.ir.translators.python -import miasm.ir.translators.miasm_ir -import miasm.ir.translators.smt2 -try: - import miasm.ir.translators.z3_ir -except ImportError: - # Nothing to do, z3 not available - pass - -__all__ = ["Translator"] |