| 2067 | // |
| 2068 | |
| 2069 | static void gen_erase(const act* action) |
| 2070 | { |
| 2071 | const upd* erase = (const upd*) action->act_object; |
| 2072 | gen_send(action, erase->upd_port); |
| 2073 | } |
| 2074 | |
| 2075 | |
| 2076 | //____________________________________________________________ |
no test coverage detected