| 3770 | // |
| 3771 | |
| 3772 | static void gen_update( const act* action) |
| 3773 | { |
| 3774 | const upd* modify = (upd*) action->act_object; |
| 3775 | const gpre_port* port = modify->upd_port; |
| 3776 | asgn_from(action, port->por_references); |
| 3777 | gen_send(action, port); |
| 3778 | } |
| 3779 | |
| 3780 | |
| 3781 | //____________________________________________________________ |
no test coverage detected