From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 31 Oct 2012 09:46:10 +0000 (+0100)
Subject: model-checker : remove declaration of unused function
X-Git-Tag: v3_9_rc1~91^2~126^2~28
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2f01a6122c5be515bbc2b661d83bbe4cf25cbc8f

model-checker : remove declaration of unused function
---

diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h
index 920739da22..4ae4edc174 100644
--- a/src/include/mc/mc.h
+++ b/src/include/mc/mc.h
@@ -48,9 +48,6 @@ void MC_new_stack_area(void *stack, char *name, void *context);
 XBT_PUBLIC(void) MC_memory_init(void);  /* Initialize the memory subsystem */
 XBT_PUBLIC(void) MC_memory_exit(void);
 
-/********************************* Snapshot comparison test *************************************/
-void MC_test_heap_comparison(void);
-
 /* Trigger for state equality detection (check potential cycle in application) */
 void MC_compare(void);