diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/Knowledge/logexp.sml
--- a/test/Tools/isac/Knowledge/logexp.sml	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/Knowledge/logexp.sml	Wed Jan 11 11:38:01 2023 +0100
@@ -32,7 +32,7 @@
 val t = TermC.parse_test @{context} "(2 log x)";
 val t = TermC.parse_test @{context} "(2 log x) = 3";
 val t = TermC.parse_test @{context} "matches ((?a log x) = ?b) ((2 log x) = 3)";
-TermC.atomty t;
+TermC.atom_trace_detail @{context} t;
 
 
 val fmz = ["equality ((2 log x) = 3)", "solveFor x", "solutions L"];