diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/Test_Isac_Short.thy
--- a/test/Tools/isac/Test_Isac_Short.thy	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/Test_Isac_Short.thy	Wed Jan 11 11:38:01 2023 +0100
@@ -124,7 +124,7 @@
   open P_Model;                (* NONE *)
   open Rewrite;
   open Eval;                   get_pair;
-  open TermC;                  atomt;
+  open TermC;
   open Rule;
   open Rule_Set;               Sequence;
   open Eval_Def