From 014c65d0044e87e37b1ab403923401234e0605da Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 30 Aug 2017 15:27:41 +0200 Subject: [PATCH] Protected is useless here (please sonar). --- src/include/xbt/parmap.hpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/include/xbt/parmap.hpp b/src/include/xbt/parmap.hpp index dd5037f7aa..bc65ff9274 100644 --- a/src/include/xbt/parmap.hpp +++ b/src/include/xbt/parmap.hpp @@ -90,7 +90,6 @@ private: */ virtual void worker_wait(unsigned) = 0; - protected: Parmap& parmap; }; -- 2.20.1