From f1179495132066f7db7da6e8a8f757285c0346c7 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Thu, 18 Jul 2024 17:15:14 -0600 Subject: [PATCH] No need to explicity call 'close()' at the end of a scope. --- source/grid/tria.cc | 8 -------- 1 file changed, 8 deletions(-) diff --git a/source/grid/tria.cc b/source/grid/tria.cc index 87623aa531..ba3a0d318b 100644 --- a/source/grid/tria.cc +++ b/source/grid/tria.cc @@ -869,8 +869,6 @@ namespace internal // Write packed data. file.write(reinterpret_cast(src_data_fixed.data()), src_data_fixed.size() * sizeof(char)); - - file.close(); } // @@ -893,8 +891,6 @@ namespace internal // Write packed data. file.write(reinterpret_cast(src_data_variable.data()), src_data_variable.size() * sizeof(char)); - - file.close(); } } } @@ -1093,8 +1089,6 @@ namespace internal // Read packed data. file.read(reinterpret_cast(dest_data_fixed.data()), dest_data_fixed.size() * sizeof(char)); - - file.close(); } // @@ -1121,8 +1115,6 @@ namespace internal dest_data_variable.resize(size); file.read(reinterpret_cast(dest_data_variable.data()), dest_data_variable.size() * sizeof(char)); - - file.close(); } } } -- 2.39.5