[mc] Fix compilation in non-MC

diff --git a/src/mc/mc_base.h b/src/mc/mc_base.h
index c9a324b..a37b947 100644 (file)
--- a/src/mc/mc_base.h
+++ b/src/mc/mc_base.h
@@ -37,6 +37,12 @@ XBT_PRIVATE extern std::vector<double> processes_time;
 /** Execute a given simcall */
 XBT_PRIVATE void handle_simcall(smx_simcall_t req, int value);
 
+/** Check if the given simcall is visible
+ *
+ *  \return `TRUE` or `FALSE`
+ */
+XBT_PRIVATE bool request_is_visible(smx_simcall_t req);
+
 }
 }
 

diff --git a/src/mc/mc_request.h b/src/mc/mc_request.h
index f7f8bcd..2fa0896 100644 (file)
--- a/src/mc/mc_request.h
+++ b/src/mc/mc_request.h
@@ -24,12 +24,6 @@ XBT_PRIVATE bool request_depend(smx_simcall_t req1, smx_simcall_t req2);
 
 XBT_PRIVATE char* request_to_string(smx_simcall_t req, int value, simgrid::mc::RequestType type);
 
-/** Check if the given simcall is visible
- *
- *  \return `TRUE` or `FALSE`
- */
-XBT_PRIVATE bool request_is_visible(smx_simcall_t req);
-
 XBT_PRIVATE bool request_is_enabled_by_idx(smx_simcall_t req, unsigned int idx);
 
 /** Is the process ready to execute its simcall?