From 5a7a6f80e22273d21c1d2ab0847a0438cb832b92 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 22 May 2015 15:46:31 +0200
Subject: [PATCH 1/1] [mc] Fix spurious call fo remote()

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

diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp
index 27d74e31a2..54889fd21f 100644
--- a/src/mc/mc_request.cpp
+++ b/src/mc/mc_request.cpp
@@ -397,7 +397,7 @@ char *MC_request_to_string(smx_simcall_t req, int value, e_mc_request_type_t req
       args =
           bprintf("(%d of %lu)", value + 1,
                   read_length(mc_model_checker->process(),
-                    remote(simcall_comm_testany__get__comms(req))));
+                    simcall_comm_testany__get__comms(req)));
     }
     break;
 
-- 
2.20.1