From 2aa6a2f08cd31ad9e6f126b2150d8dfe36fa4f8b Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 20 Jun 2018 10:27:10 +0000
Subject: [PATCH] Use non-deprecated to_integer(constant_expr)

---
 src/util/simplify_expr.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/simplify_expr.cpp b/src/util/simplify_expr.cpp
index c2e07be9630..efc78d73b47 100644
--- 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);