[mc] Move some snapshot_compare() overload with their respective checker

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

diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index 93b350ffee3f396ba81e6845cb5644d3fdc96bc0..292d15ceb2df39e43789c490b376f3efacc0d82a 100644 (file)
--- a/src/mc/mc_state.h
+++ b/src/mc/mc_state.h
@@ -68,12 +68,4 @@ XBT_PRIVATE void MC_state_remove_interleave_process(mc_state_t state, smx_proces
 
 SG_END_DECL()
 
-namespace simgrid {
-namespace mc {
-
-XBT_PRIVATE int snapshot_compare(mc_state_t state1, mc_state_t state2);
-
-}
-}
-
 #endif