diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/ProgLang/auto_prog.sml
--- a/test/Tools/isac/ProgLang/auto_prog.sml	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/ProgLang/auto_prog.sml	Wed Jan 11 11:38:01 2023 +0100
@@ -152,7 +152,7 @@
 val auto_script = 
   Auto_Prog.gen thy @{term "ttt :: real"} (get_rls ctxt "norm_Rational");
 writeln(UnparseC.term auto_script);
-TermC.atomty auto_script;
+TermC.atom_trace_detail @{context} auto_script;
 (*** 
 *** Const (Program.Stepwise, 'z => 'z => 'z)
 *** . Free (t_t, 'z)