| 3642 | // |
| 3643 | |
| 3644 | static void gen_update( const act* action) |
| 3645 | { |
| 3646 | const upd* modify = (upd*) action->act_object; |
| 3647 | const gpre_port* port = modify->upd_port; |
| 3648 | asgn_from(action, port->por_references); |
| 3649 | gen_send(action, port); |
| 3650 | } |
| 3651 | |
| 3652 | |
| 3653 | //____________________________________________________________ |
no test coverage detected