From 6489aa7f314b2f3f64b8b5c606655afb7c62c620 Mon Sep 17 00:00:00 2001
From: Erica Fischer <enf@felt.com>
Date: Tue, 25 Jun 2024 12:12:56 -0700
Subject: [PATCH] Fflush here too before pwriting

---
 main.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/main.cpp b/main.cpp
index a6f7c8d4..8b6fee69 100644
--- a/main.cpp
+++ b/main.cpp
@@ -2231,6 +2231,7 @@ std::pair<int, metadata> read_input(std::vector<source> &sources, char *fname, i
 	serialize_ulong_long(geomfile, 0, &geompos, fname);  // EOF
 
 	estimated_complexity = geompos;
+	fflush(geomfile);
 	pwrite(fileno(geomfile), &estimated_complexity, sizeof(estimated_complexity), 0);
 
 	if (fclose(geomfile) != 0) {