1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Tue Jul 26 22:29:35 2022 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Wed Jul 27 13:11:43 2022 +0200
     1.3 @@ -1250,8 +1250,8 @@
     1.4     ...vvv
     1.5     *)
     1.6  (* val (dI, oris, ppc, pbt, (selct::ss))=
     1.7 -       (#1 (References.select ospec spec), oris, []:I_Model.T,
     1.8 -	((#ppc o Problem.from_store) (#2 (References.select ospec spec))),(imodel2fstr imodel));
     1.9 +       (#1 (References.select_input ospec spec), oris, []:I_Model.T,
    1.10 +	((#ppc o Problem.from_store) (#2 (References.select_input ospec spec))),(imodel2fstr imodel));
    1.11     val iii = appl_adds dI oris ppc pbt (selct::ss); 
    1.12     tracing(I_Model.to_string thy iii);
    1.13