Fix python3 integer division

874cc208 · Dominic Kempf · c8bf686d · 874cc208
Commit 874cc208 authored 7 years ago by Dominic Kempf
--- a/python/dune/perftool/sumfact/vectorization.py
+++ b/python/dune/perftool/sumfact/vectorization.py
@@ -167,7 +167,7 @@ def greedy_vectorization_strategy(sumfacts, width):
                    result[k] = vert[k]
                sumfacts.discard(sf)

-        horizontal = horizontal / 2
+        horizontal = horizontal // 2
        vertical = vertical * 2

    return result