From 8afbb17eb3f78b92d2c417476e5c096bbfca69ac Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 19 Mar 2021 10:36:36 +0100
Subject: [PATCH] Make cast explicit.

---
 src/kernel/activity/ExecImpl.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel/activity/ExecImpl.cpp b/src/kernel/activity/ExecImpl.cpp
index 0c4686cda0..214676d4aa 100644
--- a/src/kernel/activity/ExecImpl.cpp
+++ b/src/kernel/activity/ExecImpl.cpp
@@ -184,7 +184,7 @@ void ExecImpl::finish()
 
       if (not MC_is_active() && not MC_record_replay_is_active()) {
         auto element = std::find(execs->begin(), execs->end(), this);
-        int rank     = (element != execs->end()) ? std::distance(execs->begin(), element) : -1;
+        int rank     = element != execs->end() ? static_cast<int>(std::distance(execs->begin(), element)) : -1;
         simix::marshal<int>(simcall->result_, rank);
       }
     }
-- 
2.20.1