From 56f3548567eb9ec0e242e257e5d86f1dc233bf64 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 11 Apr 2017 00:21:34 +0200
Subject: [PATCH] better handling of the MC debug on unknown simcalls

---
 src/mc/mc_request.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp
index dfb4e9a3e1..056aa0b35b 100644
--- a/src/mc/mc_request.cpp
+++ b/src/mc/mc_request.cpp
@@ -391,7 +391,9 @@ std::string simgrid::mc::request_to_string(smx_simcall_t req, int value, simgrid
     break;
 
   default:
-    THROW_UNIMPLEMENTED;
+    type = SIMIX_simcall_name(req->call);
+    args = bprintf("??");
+    break;
   }
 
   std::string str;
-- 
2.20.1