1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Feb 04 17:11:54 2020 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Fri Feb 07 12:36:08 2020 +0100
     1.3 @@ -91,7 +91,7 @@
     1.4    open Math_Engine;            CalcTreeTEST;
     1.5    open LItool.;                  itms2args;
     1.6    open Env;
     1.7 -  open Lucin;               scan_dn;
     1.8 +  open LI;               scan_dn;
     1.9    open Istate;
    1.10    open Inform;                 cas_input;
    1.11    open Rtools;                 trtas2str;