From 7d9f1d0c0e0b3eba0e5879ba37821beb840ba1f0 Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Sun, 18 Feb 2018 20:36:17 +0100
Subject: [PATCH] [heap] use DUNE_DEPRECATED_MSG

---
 low/heaps.h | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/low/heaps.h b/low/heaps.h
index e79e330ca..ffd5fe994 100644
--- a/low/heaps.h
+++ b/low/heaps.h
@@ -43,11 +43,7 @@
 #include "ugtypes.h"
 #include "namespace.h"
 
-// #include <dune/common/deprected.hh>
-#ifndef DUNE_DEPRECATED
-#define DUNE_DEPRECATED __attribute__ ((deprecated))
-#define DUNE_DEPRECATED_MSG(TXT) __attribute__ ((deprecated))
-#endif
+#include <dune/common/deprecated.hh>
 
 START_UG_NAMESPACE
 
-- 
GitLab