X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/33aec8491c4c337352f570c24f8a76298e3a319c..633e10e9d14bde1225977c96e1da28d942a21074:/src/mc/mc_safety.h?ds=sidebyside

diff --git a/src/mc/mc_safety.h b/src/mc/mc_safety.h
index 25eb06a0d1..8e7503f4da 100644
--- a/src/mc/mc_safety.h
+++ b/src/mc/mc_safety.h
@@ -31,8 +31,6 @@ enum class ReductionMode {
 
 extern XBT_PRIVATE simgrid::mc::ReductionMode reduction_mode;
 
-int modelcheck_safety(void);
-
 struct XBT_PRIVATE VisitedState {
   simgrid::mc::Snapshot* system_state = nullptr;
   size_t heap_bytes_used = 0;