diff -r b2ff1902420f -r 06ec8abfd3bc src/Tools/isac/Specify/Specify.thy
--- a/src/Tools/isac/Specify/Specify.thy	Wed Jan 11 09:23:18 2023 +0100
+++ b/src/Tools/isac/Specify/Specify.thy	Wed Jan 11 11:38:01 2023 +0100
@@ -24,7 +24,6 @@
 
 ML \<open>
 \<close> ML \<open>
-ThyC.get_theory_PIDE
 \<close> ML \<open>
 \<close> ML \<open>
 \<close>