From 813ab630b472e48f003d8d97a5053dc196871588 Mon Sep 17 00:00:00 2001
From: Dominik Jain <dominik.jain@oraios-ai.de>
Date: Wed, 9 Jul 2025 23:10:25 +0200
Subject: [PATCH] Fix mypy issues

---
 src/serena/symbol.py         | 2 +-
 src/serena/util/exception.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/serena/symbol.py b/src/serena/symbol.py
index 4fa9067..1a03076 100644
--- a/src/serena/symbol.py
+++ b/src/serena/symbol.py
@@ -435,7 +435,7 @@ class Symbol(ToStringMixin):
         depth: int = 0,
         include_body: bool = False,
         include_children_body: bool = False,
-        include_relative_path=True,
+        include_relative_path: bool = True,
     ) -> dict[str, Any]:
         """
         Converts the symbol to a dictionary.
diff --git a/src/serena/util/exception.py b/src/serena/util/exception.py
index 8ab2f00..f9cbb56 100644
--- a/src/serena/util/exception.py
+++ b/src/serena/util/exception.py
@@ -19,7 +19,7 @@ def is_headless_environment() -> bool:
         return False
 
     # Check for DISPLAY variable (required for X11)
-    if not os.environ.get("DISPLAY"):
+    if not os.environ.get("DISPLAY"):  # type: ignore
         return True
 
     # Check for SSH session