1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Jul 28 11:43:27 2022 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sat Jul 30 16:47:45 2022 +0200
     1.3 @@ -144,7 +144,6 @@
     1.4  \<close> ML \<open> (*//---------------- adhoc inserted ------------------------------------------------\\*)
     1.5  \<close> ML \<open>
     1.6  \<close> ML \<open> (*\\---------------- adhoc inserted ------------------------------------------------//*)
     1.7 -Rewrite.trace_on := false;
     1.8  \<close>
     1.9  ML \<open>
    1.10  \<close> ML \<open>