- gras_socket_t expeditor = gras_msg_cb_ctx_from(ctx);
- XBT_INFO("Asked to die by %s:%d", gras_socket_peer_name(expeditor),
- gras_socket_peer_port(expeditor));
+ xbt_socket_t expeditor = gras_msg_cb_ctx_from(ctx);
+ XBT_INFO("Asked to die by %s:%d", xbt_socket_peer_name(expeditor),
+ xbt_socket_peer_port(expeditor));