Fixup

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);
 }