Merge branch 'dev'

jeremy-rifkin · Mar 21, 2024 · 411fdff · 411fdff
2 parents 8f8e1e3 + d1199dc
commit 411fdff
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/utils/utils.hpp b/src/utils/utils.hpp
@@ -455,7 +455,9 @@ namespace detail {
     }
 
     inline void file_deleter(std::FILE* ptr) {
-        fclose(ptr);
+        if(ptr) {
+            fclose(ptr);
+        }
     }
 }
 }