From 4cccdc85b971a736bc2dd79603521ed2834f6dcd Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Tue, 13 May 2025 12:53:46 -0400
Subject: [PATCH] Flush print

---
 vspursuer.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vspursuer.py b/vspursuer.py
index 4c788f2..d9d9e53 100755
--- a/vspursuer.py
+++ b/vspursuer.py
@@ -13,7 +13,7 @@ from vsp import has_vsp, VSP_Result
 
 def print_with_timestamp(message):
     current_time = datetime.now().strftime("%Y-%m-%d %H:%M:%S")
-    print(f"[{current_time}] {message}")
+    print(f"[{current_time}] {message}", flush=True)
 
 def restructure_solutions(solutions: Iterator[Tuple[Model, Dict[Operation, ModelFunction]]], skip_to: Optional[str]) -> \
     Iterator[Tuple[Model, ModelFunction, Optional[ModelFunction], Optional[ModelFunction], Optional[ModelFunction]]]: