From 5d9f0c482fb83555626168960bea98c0130759d2 Mon Sep 17 00:00:00 2001
From: Mike Gerber <mike.gerber@sbb.spk-berlin.de>
Date: Wed, 27 Mar 2024 17:57:53 +0100
Subject: [PATCH] =?UTF-8?q?=F0=9F=90=9B=20Check=20that=20we=20always=20get?=
 =?UTF-8?q?=20a=20valid=20ALTO=20namespace=20(satifies=20mypy)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/dinglehopper/ocr_files.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/dinglehopper/ocr_files.py b/src/dinglehopper/ocr_files.py
index f9bd977..0c4fa04 100644
--- a/src/dinglehopper/ocr_files.py
+++ b/src/dinglehopper/ocr_files.py
@@ -18,6 +18,7 @@ def alto_namespace(tree: ET._ElementTree) -> Optional[str]:
     """
     root_name = ET.QName(tree.getroot().tag)
     if root_name.localname == "alto":
+        assert isinstance(root_name.namespace, str)
         return root_name.namespace
     else:
         raise ValueError("Not an ALTO tree")