From 7176f49a68fb84f9191172befd39cb450e999c41 Mon Sep 17 00:00:00 2001
From: Owen Jones <owen.jones@diffblue.com>
Date: Mon, 4 Dec 2017 12:00:54 +0000
Subject: [PATCH] Remove unneeded code

These functions are already provided by unary_exprt, which
typecase_exprt and not_exprt derive from.
---
 src/util/std_expr.h | 20 --------------------
 1 file changed, 20 deletions(-)

diff --git a/src/util/std_expr.h b/src/util/std_expr.h
index 702602ac7ef..71ee0f80687 100644
--- a/src/util/std_expr.h
+++ b/src/util/std_expr.h
@@ -1968,16 +1968,6 @@ class typecast_exprt:public unary_exprt
     unary_exprt(ID_typecast, op, _type)
   {
   }
-
-  exprt &op()
-  {
-    return op0();
-  }
-
-  const exprt &op() const
-  {
-    return op0();
-  }
 };
 
 /*! \brief Cast a generic exprt to a \ref typecast_exprt
@@ -3035,16 +3025,6 @@ class not_exprt:public unary_exprt
   not_exprt():unary_exprt(ID_not, bool_typet())
   {
   }
-
-  exprt &op()
-  {
-    return op0();
-  }
-
-  const exprt &op() const
-  {
-    return op0();
-  }
 };
 
 /*! \brief Cast a generic exprt to an \ref not_exprt