1.1 --- a/test/Tools/isac/ADDTESTS/Test_Units.thy	Mon Aug 26 09:20:07 2019 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/Test_Units.thy	Mon Aug 26 17:40:27 2019 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -theory Test_Units imports Isac.Isac
     1.5 +theory Test_Units imports Isac.Isac_Knowledge
     1.6  begin
     1.7  
     1.8  subsection \<open>Variant 1: \<close>