Commit afc53d8
committed
Remove
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.nullary_exprt::move_to_operands deletion1 parent 402d9e8 commit afc53d8
1 file changed
+0
-4
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
42 | | - | |
43 | | - | |
44 | | - | |
45 | | - | |
46 | 42 | | |
47 | 43 | | |
48 | 44 | | |
| |||
0 commit comments