From 512cae9f8eb2a517216eeaa46ce69b66b31c019f Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Wed, 12 Jun 2019 16:07:40 +0200
Subject: [PATCH] Fixup

---
 dune/codegen/sumfact/oc_horizontaladd.hh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/dune/codegen/sumfact/oc_horizontaladd.hh b/dune/codegen/sumfact/oc_horizontaladd.hh
index d1860bb7..d7bc0078 100644
--- a/dune/codegen/sumfact/oc_horizontaladd.hh
+++ b/dune/codegen/sumfact/oc_horizontaladd.hh
@@ -6,19 +6,19 @@
 
 
 template<class V>
-typename base_floatingpoint<V>::value horizontal_add_lower(const V& x)
+typename base_floatingpoint<V>::value permuting_horizontal_add_lower(const V& x)
 {
   return horizontal_add(x.get_low());
 }
 
 template<class V>
-typename base_floatingpoint<V>::value horizontal_add_upper(const V& x)
+typename base_floatingpoint<V>::value permuting_horizontal_add_upper(const V& x)
 {
   return horizontal_add(x.get_high());
 }
 
 template<class V>
-typename base_floatingpoint<V>::value horizontal_add(const V& x)
+typename base_floatingpoint<V>::value permuting_horizontal_add(const V& x)
 {
   return horizontal_add(x);
 }
-- 
GitLab