diff --git a/python/dune/gdt/tools/adaptation-helper.cc b/python/dune/gdt/tools/adaptation-helper.cc index af69102b3c543e3979d3b3b729541667d888bd99..84eb3c5703408a90e94c4cd5c705fa16e57e4650 100644 --- a/python/dune/gdt/tools/adaptation-helper.cc +++ b/python/dune/gdt/tools/adaptation-helper.cc @@ -110,7 +110,9 @@ public: auto& grid = self.grid(); auto grid_view = grid.leafGridView(); for (auto&& element : elements(grid_view)) - grid.mark(self.markers[self.marker_indices.mapper().global_index(element, size_t(0))], element); + grid.mark(XT::Common::numeric_cast<int>( + self.markers[self.marker_indices.mapper().global_index(element, size_t(0))]), + element); }, py::call_guard<py::gil_scoped_release>()); c.def(