diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/Knowledge/algein.sml
--- a/test/Tools/isac/Knowledge/algein.sml	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/Knowledge/algein.sml	Wed Jan 11 11:38:01 2023 +0100
@@ -27,8 +27,8 @@
 \ in t_t)"
 ;
 val sc = (inst_abs o (TermC.parseNEW' ctxt)) str;
-TermC.atomty sc;
-atomt sc;
+TermC.atom_trace_detail @{context} sc;
+TermC.atom_trace @{context} sc;
 
 "----------- me 'Berechnung' 'erstNumerisch' ---------------------";
 "----------- me 'Berechnung' 'erstNumerisch' ---------------------";