From: Martin Pitt <martin@piware.de>
Date: Sat, 7 Jun 2025 05:32:52 +0000 (+0200)
Subject: recipekeeper-split: Pacify mypy
X-Git-Url: https://piware.de/gitweb/?a=commitdiff_plain;h=eab8038c18a837fba1bfd7bcaee5e4ad9da77b14;p=bin.git

recipekeeper-split: Pacify mypy
---

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