| 2364 | // |
| 2365 | |
| 2366 | static void gen_erase( const act* action) |
| 2367 | { |
| 2368 | const upd* erase = (upd*) action->act_object; |
| 2369 | gen_send(action, erase->upd_port); |
| 2370 | } |
| 2371 | |
| 2372 | |
| 2373 | //____________________________________________________________ |
no test coverage detected