From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 16 Mar 2013 21:32:06 +0000 (+0100)
Subject: model-checker : fix dpor
X-Git-Tag: v3_9_90~434
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/eed33b5980ef79e3f979b80564fbd5314c47902d

model-checker : fix dpor
---

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);