1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue May 12 17:42:29 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed May 13 11:34:05 2020 +0200
     1.3 @@ -112,7 +112,7 @@
     1.4    open Prog_Expr;
     1.5    open Auto_Prog;              rule2stac;
     1.6    open Input_Descript;
     1.7 -  open Specify;                show_ptyps;
     1.8 +  open Specify;
     1.9    open SpecifyNEW;
    1.10    open Step_Specify;
    1.11    open Step_Solve;