1.1 --- a/test/Tools/isac/MathEngBasic/rewrite.sml	Wed Jan 11 09:23:18 2023 +0100
     1.2 +++ b/test/Tools/isac/MathEngBasic/rewrite.sml	Wed Jan 11 11:38:01 2023 +0100
     1.3 @@ -476,7 +476,7 @@
     1.4  "----------- 2011 thms with axclasses ----------------------------------------------------------";
     1.5  val thm = @{thm div_by_1};
     1.6  val prop = Thm.prop_of thm;
     1.7 -TermC.atomty prop;                                     (*Type 'a*)
     1.8 +TermC.atom_trace_detail @{context} prop;                                     (*Type 'a*)
     1.9  val t = TermC.parse_test @{context} "(2*x)/1";                      (*Type real*)
    1.10  
    1.11  val (thy, ro, er, inst) =