1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Apr 23 15:48:31 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Fri Apr 24 08:51:05 2020 +0200
     1.3 @@ -97,8 +97,8 @@
     1.4    open Env;
     1.5    open LI;                     scan_dn;
     1.6    open Istate;
     1.7 -  open Error_Fill_Pattern;
     1.8 -  open Error_Fill_Def;
     1.9 +  open Error_Pattern;
    1.10 +  open Error_Pattern_Def;
    1.11    open In_Chead;
    1.12    open Rtools;                 .trtas2str;
    1.13    open Chead;                  pt_extract;
    1.14 @@ -249,7 +249,7 @@
    1.15    ML_file "Interpret/istate.sml"
    1.16    ML_file "Interpret/sub-problem.sml"
    1.17    ML_file "Interpret/rewtools.sml"
    1.18 -  ML_file "Interpret/error-fill-pattern.sml"
    1.19 +  ML_file "Interpret/error-pattern.sml"
    1.20    ML_file "Interpret/li-tool.sml"
    1.21    ML_file "Interpret/lucas-interpreter.sml"
    1.22    ML_file "Interpret/step-solve.sml"