From 87b9de161809f47d96ca66e50b44e1ef988afe32 Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Sun, 12 Nov 2017 18:26:38 +0000
Subject: [PATCH] Remove pointless typecasts

from_integer already returns a constant_exprt.
---
 src/util/std_types.cpp | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/util/std_types.cpp b/src/util/std_types.cpp
index 1b074b9522f..1bc39932014 100644
--- a/src/util/std_types.cpp
+++ b/src/util/std_types.cpp
@@ -146,17 +146,17 @@ mp_integer signedbv_typet::largest() const
 
 constant_exprt signedbv_typet::zero_expr() const
 {
-  return to_constant_expr(from_integer(0, *this));
+  return from_integer(0, *this);
 }
 
 constant_exprt signedbv_typet::smallest_expr() const
 {
-  return to_constant_expr(from_integer(smallest(), *this));
+  return from_integer(smallest(), *this);
 }
 
 constant_exprt signedbv_typet::largest_expr() const
 {
-  return to_constant_expr(from_integer(largest(), *this));
+  return from_integer(largest(), *this);
 }
 
 mp_integer unsignedbv_typet::smallest() const
@@ -171,15 +171,15 @@ mp_integer unsignedbv_typet::largest() const
 
 constant_exprt unsignedbv_typet::zero_expr() const
 {
-  return to_constant_expr(from_integer(0, *this));
+  return from_integer(0, *this);
 }
 
 constant_exprt unsignedbv_typet::smallest_expr() const
 {
-  return to_constant_expr(from_integer(smallest(), *this));
+  return from_integer(smallest(), *this);
 }
 
 constant_exprt unsignedbv_typet::largest_expr() const
 {
-  return to_constant_expr(from_integer(largest(), *this));
+  return from_integer(largest(), *this);
 }