1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu May 14 09:30:40 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu May 14 13:33:47 2020 +0200
     1.3 @@ -103,7 +103,7 @@
     1.4    open Error_Pattern;
     1.5    open Error_Pattern_Def;
     1.6    open In_Chead;
     1.7 -  open Chead;                  pt_extract;
     1.8 +  open Specification;
     1.9    open Ctree;                  append_problem;
    1.10    open Pos;
    1.11    open Program;