From 117302b778527206befb94b08ade013d841a510f Mon Sep 17 00:00:00 2001
From: Augustin Degomme <augustin.degomme@imag.fr>
Date: Tue, 25 Nov 2014 13:16:19 +0100
Subject: [PATCH 1/1] remove potential bug / clang warning size_t being
 undefined, the comparison < 0 was never true

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

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index b21f190862..d20592646a 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -607,7 +607,7 @@ static void MC_get_current_fd(mc_snapshot_t snapshot){
 
     const size_t link_size = 200;
     char link[200];
-    size_t res = readlink(source, link, link_size);
+    int res = readlink(source, link, link_size);
     if (res<0) {
       xbt_die("Could not read link for %s", source);
     }
-- 
2.20.1