diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/OLDTESTS/script.sml
--- a/test/Tools/isac/OLDTESTS/script.sml	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/OLDTESTS/script.sml	Wed Jan 11 11:38:01 2023 +0100
@@ -252,7 +252,7 @@
    \  (Try (Repeat (Rewrite square_equation_left))) #> \
    \  (Try (Repeat (Rewrite radd_0)))))\
    \ e_e            ");
-TermC.atomty sc;
+TermC.atom_trace_detail @{context} sc;
 val (dI',pI',mI') = ("Test",["sqroot-test", "univariate", "equation", "test"],
 		     ["Test", "sqrt-equ-test"]);
 val c = [];