From cbcde18fc19f5144afde358e59a6fa6b4b33fb35 Mon Sep 17 00:00:00 2001
From: Rene Milk <rene.milk@uni-muenster.de>
Date: Tue, 9 Sep 2014 18:59:32 +0200
Subject: [PATCH] adds DSFu alias for Dune::Stuff::Functions

---
 dune/stuff/common/threadmanager.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune/stuff/common/threadmanager.hh b/dune/stuff/common/threadmanager.hh
index 496f07ef5..cc6afcef4 100644
--- a/dune/stuff/common/threadmanager.hh
+++ b/dune/stuff/common/threadmanager.hh
@@ -6,7 +6,7 @@
 #ifndef DUNE_STUFF_COMMON_THREADMANAGER_HH_DEPRECATED
 #define DUNE_STUFF_COMMON_THREADMANAGER_HH_DEPRECATED
 
-#warning This header is deprecated, use '#include <dune/stuff/common/parallel/threadmanager.hh' instead!
+#warning This header is deprecated, use '#include <dune/stuff/common/parallel/threadmanager.hh>' instead!
 #include <dune/stuff/common/parallel/threadmanager.hh>
 
 #endif // DUNE_STUFF_COMMON_THREADMANAGER_HH_DEPRECATED
-- 
GitLab