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