X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c40ad14d15a23201f68728e1ced86dccafffa2c0..290e19f26b10dc49485d7d7b06859edff32fd1e1:/src/mc/mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 631681d22c..97f78273e8 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -111,22 +111,6 @@ XBT_INTERNAL void print_comparison_times(void);
 
 /********************************** Miscellaneous **********************************/
 
-/* *********** Hash *********** */
-
-/** \brief Hash the current state
- *  \param num_state number of states
- *  \param stacks stacks (mc_snapshot_stak_t) used fot the stack unwinding informations
- *  \result resulting hash
- * */
-XBT_INTERNAL uint64_t mc_hash_processes_state(int num_state, xbt_dynar_t stacks);
-
-/** @brief Dump the stacks of the application processes
- *
- *   This functions is currently not used but it is quite convenient
- *   to call from the debugger.
- *
- *   Does not work when an application thread is running.
- */
 XBT_INTERNAL void MC_dump_stacks(FILE* file);
 
 XBT_INTERNAL void MC_report_assertion_error(void);