1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Mon Apr 19 20:33:04 2021 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Mon Apr 19 20:44:18 2021 +0200
     1.3 @@ -82,6 +82,8 @@
     1.4  
     1.5  begin
     1.6  
     1.7 +declare [[ML_print_depth = 20]]
     1.8 +
     1.9  ML \<open>open ML_System\<close>
    1.10  ML \<open>
    1.11    open Kernel;