about summary refs log tree commit diff stats
path: root/miasm2/ir/translators/smt2.py
diff options
context:
space:
mode:
authorFabrice Desclaux <fabrice.desclaux@cea.fr>2017-02-15 16:22:21 +0100
committerFabrice Desclaux <fabrice.desclaux@cea.fr>2017-03-13 14:13:14 +0100
commitd0727aa74bf264580e82f37abc9833b75804daca (patch)
treee5ec4298599a5907b45d009c4da2755c6ba523c0 /miasm2/ir/translators/smt2.py
parente1fc2de7e4d8662d5b97ceb7d7a9b9ba24acddaa (diff)
downloadmiasm-d0727aa74bf264580e82f37abc9833b75804daca.tar.gz
miasm-d0727aa74bf264580e82f37abc9833b75804daca.zip
Asmbloc: rename asm_label to AsmLabel
Diffstat (limited to '')
-rw-r--r--miasm2/ir/translators/smt2.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py
index 5d5fb26b..7a3e342e 100644
--- a/miasm2/ir/translators/smt2.py
+++ b/miasm2/ir/translators/smt2.py
@@ -1,7 +1,7 @@
 import logging
 import operator
 
-from miasm2.core.asmbloc import asm_label
+from miasm2.core.asmbloc import AsmLabel
 from miasm2.ir.translators.translator import Translator
 from miasm2.expression.smt2_helper import *
 
@@ -134,7 +134,7 @@ class TranslatorSMT2(Translator):
         return bit_vec_val(expr.arg.arg, expr.size)
 
     def from_ExprId(self, expr):
-        if isinstance(expr.name, asm_label):
+        if isinstance(expr.name, AsmLabel):
             if expr.name.offset is not None:
                 return bit_vec_val(str(expr.name.offset), expr.size)
             else: