From 5819e34728a4b838b80ea353d5c84c6130a62e75 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 11 Jul 2012 14:55:31 +0200
Subject: [PATCH] model-checker : comment MC_compare

---
 src/include/mc/mc.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h
index 1fae467c8d..1febbe0f6f 100644
--- a/src/include/mc/mc.h
+++ b/src/include/mc/mc.h
@@ -44,6 +44,7 @@ XBT_PUBLIC(void) MC_memory_exit(void);
 /********************************* Snapshot comparison test *************************************/
 void MC_test_snapshot_comparison(void);
 
+/* Trigger for state equality detection (check potential cycle in application) */
 void MC_compare(void);
 
 SG_END_DECL()
-- 
2.20.1