From 8263e3a0da669583b005952a21ebb8c92e015d83 Mon Sep 17 00:00:00 2001
From: Robert K <robertk@posteo.org>
Date: Mon, 31 Aug 2015 15:26:10 +0200
Subject: [PATCH] small change.

---
 dune/fem-dg/main/main.hh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dune/fem-dg/main/main.hh b/dune/fem-dg/main/main.hh
index 964853c7..e4f90208 100644
--- a/dune/fem-dg/main/main.hh
+++ b/dune/fem-dg/main/main.hh
@@ -1,9 +1,9 @@
 #ifndef DUNE_FEM_DG_MAINHEADER_HH
 #define DUNE_FEM_DG_MAINHEADER_HH
 
-//#ifdef COUNT_FLOPS
+#ifdef COUNT_FLOPS
 #include <dune/fem/misc/double.hh>
-//#endif
+#endif
 
 // streams for backup
 #include <dune/fem-dg/misc/streams.hh>
-- 
GitLab