From afc53d8c49f67ea8eccc714e2cf0a8b505b02988 Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Fri, 4 Feb 2022 13:18:03 +0000 Subject: [PATCH] Remove `nullary_exprt::move_to_operands` deletion There are no other instances of `move_to_operands` across the code base and no implementation here. Therefore this removal is clean-up assuming that this member function has been removed from everywhere else and this instance has accidentally been left behind. --- src/util/std_expr.h | 4 ---- 1 file changed, 4 deletions(-) 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;