Unused exception parameter 'e'.

diff --git a/src/xbt/xbt_replay.cpp b/src/xbt/xbt_replay.cpp
index 0a1e5ac..9635ca8 100644 (file)
--- a/src/xbt/xbt_replay.cpp
+++ b/src/xbt/xbt_replay.cpp
@@ -102,7 +102,7 @@ static void handle_action(ReplayAction& action)
   action_fun function = action_funs.at(action.at(1));
   try {
     function(action);
-  } catch (const Exception& e) {
+  } catch (const Exception&) {
     action.clear();
     throw;
   }