From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Tue, 4 Nov 2014 10:49:32 +0000 (+0100)
Subject: model-checker : comment debug printf
X-Git-Tag: v3_12~732^2~231
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d626517655604bdd51c3762b8327d8d1cafd1ad9?hp=42d8a4dc6763b3a784a72cb6842dfd1f5115d2a0

model-checker : comment debug printf
---

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index aaa99adfbb..41b3738c3f 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -709,7 +709,7 @@ void MC_restore_snapshot(mc_snapshot_t snapshot)
     new_fd = open(snapshot->current_fd[i]->filename, snapshot->current_fd[i]->flags);
     if(new_fd != -1 && new_fd != snapshot->current_fd[i]->number){
       dup2(new_fd, snapshot->current_fd[i]->number);
-      fprintf(stderr, "%p\n", fdopen(snapshot->current_fd[i]->number, "rw"));
+      //fprintf(stderr, "%p\n", fdopen(snapshot->current_fd[i]->number, "rw"));
       lseek(snapshot->current_fd[i]->number, snapshot->current_fd[i]->current_position, SEEK_SET);
     };
   }