From a8cd093fd7cc28a49116e0183190e137332efeae Mon Sep 17 00:00:00 2001
From: Michael Panchenko <michael.panchenko@unternehmertum.de>
Date: Sun, 1 Jun 2025 19:28:08 +0200
Subject: [PATCH] Typing

---
 src/serena/agent.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/serena/agent.py b/src/serena/agent.py
index 7d9bf14..d6180fe 100644
--- a/src/serena/agent.py
+++ b/src/serena/agent.py
@@ -1429,6 +1429,7 @@ class EditedFileContext:
 
     def __exit__(self, exc_type: type[BaseException] | None, exc_value: BaseException | None, traceback: TracebackType | None) -> None:
         if self._updated_content is not None and exc_type is None:
+            assert self._project is not None
             with open(self._abs_path, "w", encoding=self._project.project_config.encoding) as f:
                 f.write(self._updated_content)
             log.info(f"Updated content written to {self._abs_path}")