1.1 --- a/test/Tools/isac/Test_Some.thy	Wed Jan 11 06:06:12 2023 +0100
     1.2 +++ b/test/Tools/isac/Test_Some.thy	Wed Jan 11 09:23:18 2023 +0100
     1.3 @@ -120,7 +120,7 @@
     1.4  \<close> ML \<open>
     1.5  \<close>
     1.6  
     1.7 -section \<open>=============="Interpret/error-pattern.sml"========================================\<close>
     1.8 +section \<open>===================================================================================\<close>
     1.9  ML \<open>
    1.10  \<close> ML \<open>
    1.11  \<close> ML \<open>