diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/ProgLang/prog_expr.sml
--- a/test/Tools/isac/ProgLang/prog_expr.sml	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/ProgLang/prog_expr.sml	Wed Jan 11 11:38:01 2023 +0100
@@ -346,7 +346,7 @@
 "---------fun eval_sameFunId -------------------------------------------------------------------";
 "---------fun eval_sameFunId -------------------------------------------------------------------";
 "---------fun eval_sameFunId -------------------------------------------------------------------";
-val t = @{term "M_b L"}; TermC.atomty t;
+val t = @{term "M_b L"}; TermC.atom_trace_detail @{context} t;
 val t as f1 $ _ = @{term "M_b L"};
 val t as Const (\<^const_name>\<open>HOL.eq\<close>, _) $ (f2 $ _) $ _ = @{term "M_b x = c + L*x"};
 f1 = f2 (*true*);