compiler: Patch double-buffering

devitocodes · May 31, 2023 · 27fa6d3 · 27fa6d3
1 parent d38a1c9
commit 27fa6d3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/devito/passes/clusters/buffering.py b/devito/passes/clusters/buffering.py
@@ -498,13 +498,13 @@ def writeto(self):
         directions = {}
         for d, h in zip(self.buffer.dimensions, self.buffer._size_halo):
             try:
-                interval, si, direction = self.itintervals_mapper[d]
+                i, si, direction = self.itintervals_mapper[d]
                 # The initialization must comprise the halo region as well, since
                 # in principle this could be accessed through a stencil
-                interval = interval.translate(v0=-h.left, v1=h.right)
+                interval = Interval(i.dim, -h.left, h.right, i.stamp)
             except KeyError:
                 assert d is self.xd
-                interval, si, direction = Interval(d, 0, 0), (), Forward
+                interval, si, direction = Interval(d), (), Forward
             intervals.append(interval)
             sub_iterators[d] = si
             directions[d] = direction