unused

[simgrid.git] / src / simgrid / Exception.cpp

diff --git a/src/simgrid/Exception.cpp b/src/simgrid/Exception.cpp
index cd4fc1fa225faad95aec5a7c09ab7087b82e7672..d59d4874a16fbd3662dee5e3bb6b46a39bf4f61c 100644 (file)
--- a/src/simgrid/Exception.cpp
+++ b/src/simgrid/Exception.cpp
@@ -16,7 +16,7 @@ void ForcefulKillException::do_throw()
   throw ForcefulKillException();
 }
 
-bool ForcefulKillException::try_n_catch(std::function<void(void)> try_block)
+bool ForcefulKillException::try_n_catch(const std::function<void()>& try_block)
 {
   bool res;
   try {