[mc] Get rid of MC_state_set_executed_request() in order to simplify the Checkers

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

diff --git a/src/mc/mc_record.h b/src/mc/mc_record.h
index 2c55598..db7636f 100644 (file)
--- a/src/mc/mc_record.h
+++ b/src/mc/mc_record.h
@@ -21,8 +21,6 @@
 #include <vector>
 
 #include <xbt/base.h>
-#include <xbt/dynar.h>
-#include <xbt/fifo.h>
 
 namespace simgrid {
 namespace mc {
@@ -67,14 +65,6 @@ SG_BEGIN_DECL()
 
 // **** Data conversion
 
-/** Generate a string representation
-*
-* The current format is a ";"-delimited list of pairs:
-* "pid0,value0;pid2,value2;pid3,value3". The value can be
-* omitted is it is null.
-*/
-XBT_PRIVATE char* MC_record_stack_to_string(xbt_fifo_t stack);
-
 SG_END_DECL()
 
 #endif