[mc] Remote xbt_dynar_foreach() in MC_request_testany_fail()

[simgrid.git] / src / mc / mc_server.h

diff --git a/src/mc/mc_server.h b/src/mc/mc_server.h
index 559d085..a8ea31b 100644 (file)
--- a/src/mc/mc_server.h
+++ b/src/mc/mc_server.h
@@ -17,20 +17,6 @@ typedef struct s_mc_server s_mc_server_t, *mc_server_t;
 
 extern mc_server_t mc_server;
 
-/** Initialise MC server
- *
- * @param  PID of the model-checked process
- * @param socket file descriptor for communication with the model-checked process
- * @return 0 on success
- */
-int MC_server_init(pid_t pid, int socket);
-
-/** Execute the MC server
- *
- *  @return Status code (can be used with `exit()`)
- */
-void MC_server_run(void);
-
 SG_END_DECL()
 
 #ifdef __cplusplus