remove potential bug / clang warning

size_t being undefined, the comparison < 0 was never true

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index b21f190..d205926 100644 (file)
--- 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);
     }