1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Apr 15 11:11:54 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Apr 15 11:37:43 2020 +0200
     1.3 @@ -124,7 +124,7 @@
     1.4    open Tactic;                 (* NONE *)
     1.5    open Model;                  (* NONE *)
     1.6    open Rewrite;                mk_thm;
     1.7 -  open Num_Calc;                   get_pair;
     1.8 +  open Eval;                   get_pair;
     1.9    open TermC;                  atomt;
    1.10    open Celem;                  e_pbt;
    1.11    open Rule;