From eed33b5980ef79e3f979b80564fbd5314c47902d Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 16 Mar 2013 22:32:06 +0100
Subject: [PATCH] model-checker : fix dpor

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

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index bab05aa5c4..c52988b0ad 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -28,7 +28,7 @@ static void visited_state_free_voidp(void *s){
 static int is_visited_state(){
 
   if(_sg_mc_visited == 0)
-    return 0;
+    return -1;
 
   int raw_mem_set = (mmalloc_get_current_heap() == raw_heap);
 
-- 
2.20.1