From 2829a0e32ec056d415a052ebe87f846213986bd8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20He=C3=9F?= <rene.hess@iwr.uni-heidelberg.de>
Date: Fri, 23 Dec 2016 09:37:48 +0100
Subject: [PATCH] Fix bug from bad merge

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

diff --git a/dune/perftool/common/opcounter.hh b/dune/perftool/common/opcounter.hh
index 48d4c11c..dbdb595c 100644
--- a/dune/perftool/common/opcounter.hh
+++ b/dune/perftool/common/opcounter.hh
@@ -154,7 +154,7 @@ namespace oc {
       }
 
       template<typename Stream>
-      void reportOperations(Stream& os, bool doReset = false)
+      void reportOperations(Stream& os, std::string exec, std::string kernel, bool doReset = false)
       {
         auto total = addition_count + multiplication_count + division_count + exp_count + pow_count + sin_count + sqrt_count + comparison_count;
         if (total == 0)
-- 
GitLab