From 5d2fef790bf92555e58f2725967b05de9f6627ca Mon Sep 17 00:00:00 2001
From: Tim Blazytko <tim.blazytko@rub.de>
Date: Thu, 7 Jan 2016 16:02:49 +0100
Subject: smt2_translator: refactored translation of ExprAff to use smt2_helper
 for assert

---
 miasm2/ir/translators/smt2.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py
index dd950074..7cb60310 100644
--- a/miasm2/ir/translators/smt2.py
+++ b/miasm2/ir/translators/smt2.py
@@ -239,7 +239,7 @@ class TranslatorSMT2(Translator):
     def from_ExprAff(self, expr):
         src = self.from_expr(expr.src)
         dst = self.from_expr(expr.dst)
-        return "(assert {})".format(smt2_eq(src, dst))
+        return smt2_assert(smt2_eq(src, dst))
 
     def to_smt2(self, exprs, logic="QF_ABV"):
         """
-- 
cgit 1.4.1