1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Fri Jan 06 15:40:45 2023 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Sun Jan 08 10:30:58 2023 +0100
     1.3 @@ -86,7 +86,7 @@
     1.4  
     1.5  begin
     1.6  
     1.7 -declare [[ML_print_depth = 20]]
     1.8 +declare [[ML_print_depth = 20]] (*otherwise buffer overflow*)
     1.9  
    1.10  ML \<open>open ML_System\<close>
    1.11  ML \<open>