From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 8 Mar 2016 11:54:49 +0000 (+0100)
Subject: [mc] Fix compilation in non-MC
X-Git-Tag: v3_13~483
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f2e52058267e8ba6e5c4da63653351395471935b

[mc] Fix compilation in non-MC
---

diff --git a/src/mc/mc_base.h b/src/mc/mc_base.h
index c9a324b389..a37b9471eb 100644
--- 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 f7f8bcd68c..2fa08961aa 100644
--- 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?