
diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/ADDTESTS/Test_Units.thy
--- a/test/Tools/isac/ADDTESTS/Test_Units.thy	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/ADDTESTS/Test_Units.thy	Wed Jan 11 11:38:01 2023 +0100
@@ -29,7 +29,7 @@
 
 ML \<open>
 Thm.prop_of @{thm SI1m__cm};
-TermC.atomt (Thm.prop_of @{thm SI1m__cm});
+TermC.atom_trace @{context} (Thm.prop_of @{thm SI1m__cm});
 \<close>
 
 (*--------------------- broken Isabelle2015->17 -------------




