1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Wed Dec 09 14:22:24 2020 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Wed Dec 09 14:37:10 2020 +0100
     1.3 @@ -129,7 +129,9 @@
     1.4    open Solve;                  (* NONE *)
     1.5    open ContextC;               transfer_asms_from_to;
     1.6    open Tactic;                 (* NONE *)
     1.7 -  open P_Model;                  (* NONE *)
     1.8 +  open I_Model;
     1.9 +  open O_Model;
    1.10 +  open P_Model;                (* NONE *)
    1.11    open Rewrite;
    1.12    open Eval;                   get_pair;
    1.13    open TermC;                  atomt;