| 113 | } |
| 114 | |
| 115 | instruction_ref erase(instruction_ref pos) |
| 116 | { |
| 117 | changed.notify(); |
| 118 | instruction_set.erase(std::addressof(*pos)); |
| 119 | return instructions.erase(pos); |
| 120 | } |
| 121 | |
| 122 | instruction_ref erase(instruction_ref start, instruction_ref last) |
| 123 | { |