From 494ba6e2b3711b519d7f99f2867e293b0f1650eb Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Fri, 23 Dec 2016 13:45:25 +0100 Subject: Expr: Remove exprint_from --- example/expression/simplification_add.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'example/expression/simplification_add.py') diff --git a/example/expression/simplification_add.py b/example/expression/simplification_add.py index 008e094b..06b683fe 100644 --- a/example/expression/simplification_add.py +++ b/example/expression/simplification_add.py @@ -30,7 +30,7 @@ def simp_add_mul(expr_simp, expr): # Effective simplification return m2_expr.ExprOp("*", expr.args[0], - m2_expr.ExprInt_from(expr.args[0], 3)) + m2_expr.ExprInt(3, expr.args[0].size)) else: # Do not simplify return expr @@ -48,4 +48,4 @@ print "\t%s = %s" % (base_expr, expr_simp(base_expr)) # Automatic fail assert(expr_simp(base_expr) == m2_expr.ExprOp("*", a, - m2_expr.ExprInt_from(a, 3))) + m2_expr.ExprInt(3, a.size))) -- cgit 1.4.1