1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Tue May 05 13:33:23 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Tue May 05 15:39:20 2020 +0200
     1.3 @@ -1250,7 +1250,7 @@
     1.4     ...vvv
     1.5     *)
     1.6  (* val (dI, oris, ppc, pbt, (selct::ss))=
     1.7 -       (#1 (some_spec ospec spec), oris, []:itm list,
     1.8 +       (#1 (some_spec ospec spec), oris, []:I_Model.T,
     1.9  	((#ppc o get_pbt) (#2 (some_spec ospec spec))),(imodel2fstr imodel));
    1.10     val iii = appl_adds dI oris ppc pbt (selct::ss); 
    1.11     tracing(I_Model.to_string thy iii);