
diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/ADDTESTS/course/phst11/T1_Basics.thy
--- a/test/Tools/isac/ADDTESTS/course/phst11/T1_Basics.thy	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/ADDTESTS/course/phst11/T1_Basics.thy	Wed Jan 11 11:38:01 2023 +0100
@@ -80,7 +80,7 @@
 \<close>
 ML \<open>
   val t = @{term "a + b * 9"};
-  TermC.atomwy t;
+  TermC.atom_write_detail @{context} t;
 \<close>
 text \<open>Please, observe that in this case (whenever 'writeln' is involved, even 
   invisibly) the output of 'atomwy t' is placed on top of the 'Output' window.




