model-checker : first line of objdump --section-headers display complete path of...

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

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index caff24d421a63ca14d06cbdb19fb771d3d61bffd..af91f56019c98d277ca1672b0663dd20dfdacd8b 100644 (file)
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -193,6 +193,7 @@ void get_libsimgrid_plt_section(void);
 void get_binary_plt_section(void);
 
 extern void *start_data_libsimgrid;
+extern void *end_raw_heap;
 
 /********************************** DPOR for safety  **************************************/
 typedef enum {