1.1 --- a/test/Tools/isac/Test_Isac.thy	Fri May 15 14:22:05 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Fri May 15 19:31:04 2020 +0200
     1.3 @@ -102,7 +102,6 @@
     1.4    open Istate;
     1.5    open Error_Pattern;
     1.6    open Error_Pattern_Def;
     1.7 -  open In_Chead;
     1.8    open Specification;
     1.9    open Ctree;                  append_problem;
    1.10    open Pos;
    1.11 @@ -238,7 +237,7 @@
    1.12  
    1.13    ML_file "Specify/o-model.sml"
    1.14    ML_file "Specify/i-model.sml"
    1.15 -  ML_file "Specify/model.sml"
    1.16 +  ML_file "Specify/m-match.sml"
    1.17    ML_file "Specify/refine.sml"        (* requires setup from refine.thy *)
    1.18    ML_file "Specify/ptyps.sml" 
    1.19    ML \<open>(*check_unsynchronized_ref (); ==== trick on error: CUT AND PASTE THIS LINE =========*)\<close>