Merge pull request diffblue#2537 from tautschnig/vs-non-deprecated

Use non-deprecated to_integer(constant_expr)
NathanJPhillips · Jul 7, 2018 · d6565ec · d6565ec
2 parents 8187bdd + 2aa6a2f
commit d6565ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/simplify_expr.cpp b/src/util/simplify_expr.cpp
@@ -1232,7 +1232,7 @@ bool simplify_exprt::get_values(
   if(expr.is_constant())
   {
     mp_integer int_value;
-    if(to_integer(expr, int_value))
+    if(to_integer(to_constant_expr(expr), int_value))
       return true;
 
     value_list.insert(int_value);