recipekeeper-split: Pacify mypy

diff --git a/recipekeeper-split b/recipekeeper-split
index 2017862b1b871a9afc574d55472f9d4d2af61469..a56f52e68c312093c1c6287bc39f5d95675b0a53 100755 (executable)
--- 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