| 2248 | // |
| 2249 | |
| 2250 | static void gen_erase( const act* action) |
| 2251 | { |
| 2252 | const upd* erase = (upd*) action->act_object; |
| 2253 | gen_send(action, erase->upd_port); |
| 2254 | } |
| 2255 | |
| 2256 | |
| 2257 | //____________________________________________________________ |
no test coverage detected