diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/Specify/input-descript.sml
--- a/test/Tools/isac/Specify/input-descript.sml	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/Specify/input-descript.sml	Wed Jan 11 11:38:01 2023 +0100
@@ -18,7 +18,7 @@
 val t as Const (\<^const_name>\<open>Input_Descript.relations\<close>, 
   Type (\<^type_name>\<open>fun\<close>, [Type (\<^type_name>\<open>list\<close>, [Type (\<^type_name>\<open>bool\<close>,[])]), 
     Type e(\<^type_name>\<open>una\<close>, [])])) = @{term "relations"};
-atomtyp (type_of t);
+TermC.atom_typ @{context} (type_of t);
 if Input_Descript.for_bool_list t then () else error "Input_Descript.for_bool_list changed";
 "----- fun Input_Descript.for_real -----";
 if not (Input_Descript.for_real t) then () else error "Input_Descript.for_real changed";