diff --git a/src/util/std_expr.h b/src/util/std_expr.h
index 66560a3d93a..f6cf6180f54 100644
--- a/src/util/std_expr.h
+++ b/src/util/std_expr.h
@@ -39,10 +39,6 @@ class nullary_exprt : public expr_protectedt
   const exprt &op3() const = delete;
   exprt &op3() = delete;
 
-  void move_to_operands(exprt &) = delete;
-  void move_to_operands(exprt &, exprt &) = delete;
-  void move_to_operands(exprt &, exprt &, exprt &) = delete;
-
   void copy_to_operands(const exprt &expr) = delete;
   void copy_to_operands(const exprt &, const exprt &) = delete;
   void copy_to_operands(const exprt &, const exprt &, const exprt &) = delete;