1.1 --- a/test/Tools/isac/ADDTESTS/course/ml_quickstart/ML4_Datastructure.thy	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/ml_quickstart/ML4_Datastructure.thy	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -41,8 +41,8 @@
     1.4  
     1.5  section \<open>Preview to Isabelle's terms\<close>
     1.6  ML \<open>
     1.7 -str2term;
     1.8 -str2term "234 * bbb + ccc";
     1.9 +parse_test @{context};
    1.10 +parse_test @{context} "234 * bbb + ccc";
    1.11  \<close>
    1.12  
    1.13  ML \<open>