1.1 --- a/src/Tools/isac/Test_Code/Test_Code.thy	Sun Dec 10 07:56:02 2023 +0100
     1.2 +++ b/src/Tools/isac/Test_Code/Test_Code.thy	Sun Dec 10 17:35:07 2023 +0100
     1.3 @@ -14,7 +14,7 @@
     1.4  
     1.5  ML \<open>
     1.6  \<close> ML \<open>
     1.7 -ThyC.get_theory
     1.8 +
     1.9  \<close> ML \<open>
    1.10  \<close>
    1.11  end