From 2f01a6122c5be515bbc2b661d83bbe4cf25cbc8f Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 31 Oct 2012 10:46:10 +0100 Subject: [PATCH 1/1] model-checker : remove declaration of unused function --- src/include/mc/mc.h | 3 --- 1 file changed, 3 deletions(-) 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); -- 2.20.1