From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 6 Jul 2020 14:30:59 +0000 (-0400)
Subject: fix warning in bundled taskflow
X-Git-Tag: v9.3.0-rc1~1338^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=99a655f23435b4c3d4fcc74f1641b827fff14a76;p=dealii.git

fix warning in bundled taskflow

fixes ``warning: extra ‘;’ [-Wpedantic]``
---

diff --git a/bundled/taskflow-2.5.0/include/taskflow/utility/uuid.hpp b/bundled/taskflow-2.5.0/include/taskflow/utility/uuid.hpp
index d61afaa000..c953b28e4e 100644
--- a/bundled/taskflow-2.5.0/include/taskflow/utility/uuid.hpp
+++ b/bundled/taskflow-2.5.0/include/taskflow/utility/uuid.hpp
@@ -217,7 +217,7 @@ inline std::ostream& operator << (std::ostream& os, const UUID& rhs) {
   return os;
 }
 
-};  // End of namespace tf. ---------------------------------------------------
+}  // End of namespace tf. ----------------------------------------------------
 
 //-----------------------------------------------------------------------------