1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu May 14 08:49:08 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu May 14 09:30:40 2020 +0200
     1.3 @@ -113,7 +113,7 @@
     1.4    open Auto_Prog;              rule2stac;
     1.5    open Input_Descript;
     1.6    open Specify;
     1.7 -  open SpecifyNEW;
     1.8 +  open Specify;
     1.9    open Step_Specify;
    1.10    open Step_Solve;
    1.11    open Step;