1.1 --- a/test/Tools/isac/ProgLang/auto_prog.sml	Wed Jan 11 09:23:18 2023 +0100
     1.2 +++ b/test/Tools/isac/ProgLang/auto_prog.sml	Wed Jan 11 11:38:01 2023 +0100
     1.3 @@ -152,7 +152,7 @@
     1.4  val auto_script = 
     1.5    Auto_Prog.gen thy @{term "ttt :: real"} (get_rls ctxt "norm_Rational");
     1.6  writeln(UnparseC.term auto_script);
     1.7 -TermC.atomty auto_script;
     1.8 +TermC.atom_trace_detail @{context} auto_script;
     1.9  (*** 
    1.10  *** Const (Program.Stepwise, 'z => 'z => 'z)
    1.11  *** . Free (t_t, 'z)