/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 |