From eab8038c18a837fba1bfd7bcaee5e4ad9da77b14 Mon Sep 17 00:00:00 2001
From: Martin Pitt <martin@piware.de>
Date: Sat, 7 Jun 2025 07:32:52 +0200
Subject: [PATCH] recipekeeper-split: Pacify mypy

---
 recipekeeper-split | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/recipekeeper-split b/recipekeeper-split
index 2017862..a56f52e 100755
--- a/recipekeeper-split
+++ b/recipekeeper-split
@@ -39,6 +39,8 @@ root = tree.getroot()
 
 head = root.find('head')
 body = root.find('body')
+assert head is not None
+assert body is not None
 recipes = [div for div in body.findall('div') if div.get('class') == 'recipe-details']
 
 # Prepare the <meta http-equiv="content-type"...> tag string
-- 
2.47.2