
diff -r ba7b7a24bc3f -r 3dee3ec06f54 src/Tools/isac/TODO.thy
--- a/src/Tools/isac/TODO.thy	Tue Jul 26 22:29:35 2022 +0200
+++ b/src/Tools/isac/TODO.thy	Wed Jul 27 13:11:43 2022 +0200
@@ -43,7 +43,7 @@
     remove defs from Test_Parse_Isac.thy
     + and shift tests from Test_Parse_Isac -> test/../parseC.sml
   \item xxx
-  \item Specify.find_next_step: References.select
+  \item Specify.find_next_step: References.select_input
     cpI = ["vonBelastungZu", "Biegelinien"]: References_Def.id
                                       ^^^^^  Problem.id
   \item xxx




