From cb3c3df623a404a0d7ad7ca9bff962f516f86dce Mon Sep 17 00:00:00 2001
From: Bennet Bo Fenner <bennetbo@gmx.de>
Date: Mon, 23 Feb 2026 19:11:26 +0100
Subject: [PATCH] Fix bad merge after d9b7d77d7a9c914fbf29d3007db4d550d9e75800

---
 crates/agent/src/tools/edit_file_tool.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/agent/src/tools/edit_file_tool.rs b/crates/agent/src/tools/edit_file_tool.rs
index b271a19674f733b8879d331ef83379159fc581d5..b61211edc861697e1ad895713ab92ceb7cbf4cf5 100644
--- a/crates/agent/src/tools/edit_file_tool.rs
+++ b/crates/agent/src/tools/edit_file_tool.rs
@@ -262,6 +262,7 @@ impl AgentTool for EditFileTool {
                 action_log.clone(),
                 self.templates.clone(),
                 edit_format,
+                allow_thinking
             );
 
             let buffer = project