X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a69dbf9a2522d0ccde10350b49c5866ed9d731bd..31a999f9a0f6420f98301e553cb0e5f0c8b2a1c8:/src/mc/mc_interface.h

diff --git a/src/mc/mc_interface.h b/src/mc/mc_interface.h
index c2e8042b44..d4afe68358 100644
--- a/src/mc/mc_interface.h
+++ b/src/mc/mc_interface.h
@@ -13,11 +13,6 @@ SG_BEGIN_DECL()
 
 typedef struct s_mc_snapshot *mc_snapshot_t;
 
-/* These are the MC-specific simcalls, that smx_user needs to see */
-mc_snapshot_t simcall_HANDLER_mc_snapshot(smx_simcall_t simcall);
-int simcall_HANDLER_mc_compare_snapshots(smx_simcall_t simcall, mc_snapshot_t s1, mc_snapshot_t s2);
-int simcall_HANDLER_mc_random(smx_simcall_t simcall, int min, int max);
-
 SG_END_DECL()
 
 #endif