Skip to content

Commit afc53d8

Browse files
committed
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.
1 parent 402d9e8 commit afc53d8

File tree

1 file changed

+0
-4
lines changed

1 file changed

+0
-4
lines changed

src/util/std_expr.h

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -39,10 +39,6 @@ class nullary_exprt : public expr_protectedt
3939
const exprt &op3() const = delete;
4040
exprt &op3() = delete;
4141

42-
void move_to_operands(exprt &) = delete;
43-
void move_to_operands(exprt &, exprt &) = delete;
44-
void move_to_operands(exprt &, exprt &, exprt &) = delete;
45-
4642
void copy_to_operands(const exprt &expr) = delete;
4743
void copy_to_operands(const exprt &, const exprt &) = delete;
4844
void copy_to_operands(const exprt &, const exprt &, const exprt &) = delete;

0 commit comments

Comments
 (0)