From 5109ca62f6c7cc34d5fd6919d8e1ca58cd6a31d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cs.berkeley.edu>
Date: Tue, 9 Jan 2024 11:25:12 -0800
Subject: [PATCH] increase repair window size again

---
 synth/src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/synth/src/main.rs b/synth/src/main.rs
index 9170fa7..cbed8a1 100644
--- a/synth/src/main.rs
+++ b/synth/src/main.rs
@@ -70,7 +70,7 @@ struct Args {
     pask_k_step_size: u64,
     #[arg(
         long,
-        default_value_t = 24u64,
+        default_value_t = 32u64,
         help = "the maximum repair window size before the incremental solver gives up"
     )]
     max_repair_window_size: u64,