1.1 --- a/test/Tools/isac/ADDTESTS/Test_Units.thy	Wed Jan 11 09:23:18 2023 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/Test_Units.thy	Wed Jan 11 11:38:01 2023 +0100
     1.3 @@ -29,7 +29,7 @@
     1.4  
     1.5  ML \<open>
     1.6  Thm.prop_of @{thm SI1m__cm};
     1.7 -TermC.atomt (Thm.prop_of @{thm SI1m__cm});
     1.8 +TermC.atom_trace @{context} (Thm.prop_of @{thm SI1m__cm});
     1.9  \<close>
    1.10  
    1.11  (*--------------------- broken Isabelle2015->17 -------------