From d369cfb187e609d4ab8cf10ea1290cdaa9f5c985 Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Mon, 7 Jul 2025 10:33:05 +0200
Subject: [PATCH] try to avoid patological todo cases

---
 5_theseus/3_results.typ | 3 ++-
 5_theseus/main.typ      | 4 +++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/5_theseus/3_results.typ b/5_theseus/3_results.typ
index c43b6fe..d312335 100644
--- a/5_theseus/3_results.typ
+++ b/5_theseus/3_results.typ
@@ -1,6 +1,7 @@
 #import "../lib.typ": todo
 
-== Results #todo[better section name] <sec:th-res>
+== Result <sec:th-res>
+#todo[better section name for @sec:th-res]
 
 === Bytecode Loaded by Application <sec:th-code-collected>
 
diff --git a/5_theseus/main.typ b/5_theseus/main.typ
index c2d7bea..8125c9d 100644
--- a/5_theseus/main.typ
+++ b/5_theseus/main.typ
@@ -1,6 +1,8 @@
 #import "../lib.typ": todo
 
-= #todo[theseus chapter title]
+= Theseus <sec:th>
+
+#todo[theseus chapter title for @sec:th]
 
 #include("1_static_transformation.typ")
 #include("3_results.typ")