1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon May 04 18:47:27 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue May 05 09:07:36 2020 +0200
     1.3 @@ -117,7 +117,7 @@
     1.4    open Step_Solve;
     1.5    open Step;
     1.6    open Solve;                  (* NONE *)
     1.7 -  open Selem;                  e_fmz;
     1.8 +  open Selem;                  Formalise.empty;
     1.9    open Stool;                  (* NONE *)
    1.10    open ContextC;               transfer_asms_from_to;
    1.11    open Tactic;                 (* NONE *)