1.1 --- a/test/Tools/isac/Test_Isac.thy	Sun May 10 15:55:30 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sun May 10 17:26:36 2020 +0200
     1.3 @@ -103,7 +103,6 @@
     1.4    open Error_Pattern_Def;
     1.5    open In_Chead;
     1.6    open Chead;                  pt_extract;
     1.7 -  open Generate;               (* NONE *)
     1.8    open Ctree;                  append_problem;
     1.9    open Pos;
    1.10    open Program;
    1.11 @@ -121,7 +120,7 @@
    1.12    open Stool;                  (* NONE *)
    1.13    open ContextC;               transfer_asms_from_to;
    1.14    open Tactic;                 (* NONE *)
    1.15 -  open Model;                  (* NONE *)
    1.16 +  open P_Model;                  (* NONE *)
    1.17    open Rewrite;
    1.18    open Eval;                   get_pair;
    1.19    open TermC;                  atomt;