diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/MathEngBasic/rewrite.sml
--- a/test/Tools/isac/MathEngBasic/rewrite.sml	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/MathEngBasic/rewrite.sml	Wed Jan 11 11:38:01 2023 +0100
@@ -476,7 +476,7 @@
 "----------- 2011 thms with axclasses ----------------------------------------------------------";
 val thm = @{thm div_by_1};
 val prop = Thm.prop_of thm;
-TermC.atomty prop;                                     (*Type 'a*)
+TermC.atom_trace_detail @{context} prop;                                     (*Type 'a*)
 val t = TermC.parse_test @{context} "(2*x)/1";                      (*Type real*)
 
 val (thy, ro, er, inst) =