| /shark/trunk/ports/first/include/fsf_contract.h |
|---|
| 579,7 → 579,7 |
| // initialization |
| // The shared object id is set equal to the second parameter. |
| void fsf_init_shared_object(fsf_shared_object_t *obj, |
| int fsf_init_shared_object(fsf_shared_object_t *obj, |
| fsf_shared_obj_id_t id); |
| // Declare an operation |