From 225f61cee1db75a997e6f4654b0de8218e3aa8fc Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 7 Nov 2012 15:43:28 +0100
Subject: [PATCH] model-checker : comment trigger for state equality detection

---
 src/mc/mc_liveness.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 98eb2d4ee2..2348827271 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -76,7 +76,7 @@ int reached(xbt_state_t st){
   
   MC_UNSET_RAW_MEM;
   
-  if(xbt_dynar_is_empty(reached_pairs) || !compare){
+  if(xbt_dynar_is_empty(reached_pairs)/* || !compare*/){
 
     MC_SET_RAW_MEM;
     /* New pair reached */
-- 
2.20.1