MC: simplify initialization and kill api::set_checker()

[simgrid.git] / src / mc / mc_request.hpp

diff --git a/src/mc/mc_request.hpp b/src/mc/mc_request.hpp
index 92686b8fc7aa89fcdf2dc3a58142aca2b63cfd18..528d97a3e48b509c1ab1b27bb0b031739ddbc82b 100644 (file)
--- a/src/mc/mc_request.hpp
+++ b/src/mc/mc_request.hpp
@@ -11,14 +11,6 @@
 namespace simgrid {
 namespace mc {
 
-enum class RequestType {
-  simix,
-  executed,
-  internal,
-};
-
-XBT_PRIVATE bool request_depend(smx_simcall_t req1, smx_simcall_t req2);
-
 XBT_PRIVATE bool request_is_enabled_by_idx(smx_simcall_t req, unsigned int idx);
 }
 }