From a51fb54da663811a87a75acb1bf4d73aa9140b23 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 26 Feb 2020 11:35:39 +0100
Subject: [PATCH] [sonar] Comment unused parameter.

---
 src/simix/popping_private.hpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/simix/popping_private.hpp b/src/simix/popping_private.hpp
index ad153fd136..daba0f963d 100644
--- a/src/simix/popping_private.hpp
+++ b/src/simix/popping_private.hpp
@@ -108,11 +108,11 @@ SIMIX_MARSHAL(float, d)
 SIMIX_MARSHAL(double, d)
 SIMIX_MARSHAL(FPtr, fp)
 
-inline void unmarshal(type<void>, u_smx_scalar const& simcall)
+inline void unmarshal(type<void>, u_smx_scalar const& /*simcall*/)
 {
   /* Nothing to do for void data */
 }
-inline void unmarshal_raw(type<void>, u_smx_scalar const& simcall)
+inline void unmarshal_raw(type<void>, u_smx_scalar const& /*simcall*/)
 {
   /* Nothing to do for void data */
 }
@@ -177,7 +177,7 @@ template <class T> inline typename std::remove_reference<T>::type unmarshal_raw(
   return unmarshal(type<T>(), simcall);
 }
 
-template <std::size_t I> inline void marshal_args(smx_simcall_t simcall)
+template <std::size_t I> inline void marshal_args(smx_simcall_t /*simcall*/)
 {
   /* Nothing to do when no args */
 }
-- 
2.30.2