1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Thu May 14 08:49:08 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Thu May 14 09:30:40 2020 +0200
     1.3 @@ -411,7 +411,7 @@
     1.4  (0 ,[] ,false ,#Relate ,Inc relations [] ,(??.empty, []))]*)
     1.5  
     1.6   (*the empty CalcHead is checked w.r.t the model and re-established as such*)
     1.7 - val (b,pt,ocalhd) = input_icalhd pt (p,"", empty_model, Pbl, Spec.empty);
     1.8 + val (b,pt,ocalhd) = input_icalhd pt (p,"", empty_model, Pbl, References.empty);
     1.9   val pbl = get_obj g_pbl pt (fst p); (writeln o (I_Model.to_string ctxt)) pbl; 
    1.10   if ocalhd2str ocalhd = "(Pbl, ??.empty, [\n(0 ,[] ,false ,#Given ,Inc fixedValues [] ,(??.empty, [])),\n(0 ,[] ,false ,#Find ,Inc maximum ,(??.empty, [])),\n(0 ,[] ,false ,#Find ,Inc valuesFor ,(??.empty, [])),\n(0 ,[] ,false ,#Relate ,Inc relations [] ,(??.empty, []))], [], \n(\"ThyC.id_empty\", [\"e_pblID\"], [\"e_metID\"]) )" then () else error "informtest.sml: diff.behav. max 1";
    1.11  
    1.12 @@ -419,7 +419,7 @@
    1.13   val (b,pt,ocalhd) = 
    1.14       input_icalhd pt (p,"", [Given ["fixedValues [r=Arbfix]"],
    1.15  			     Find ["maximum", "valuesFor"],
    1.16 -			     Relate ["relations"]], Pbl, Spec.empty);
    1.17 +			     Relate ["relations"]], Pbl, References.empty);
    1.18   val pbl = get_obj g_pbl pt (fst p); (writeln o (I_Model.to_string ctxt)) pbl; 
    1.19   if ocalhd2str ocalhd = "(Pbl, ??.empty, [\n(1 ,[1,2,3] ,true ,#Given ,Cor fixedValues [r = Arbfix] ,(fix_, [[r = Arbfix]])),\n(0 ,[] ,false ,#Find ,Inc maximum ,(??.empty, [])),\n(0 ,[] ,false ,#Find ,Inc valuesFor ,(??.empty, [])),\n(0 ,[] ,false ,#Relate ,Inc relations [] ,(??.empty, []))], [], \n(\"ThyC.id_empty\", [\"e_pblID\"], [\"e_metID\"]) )" then () 
    1.20   else error "informtest.sml: diff.behav. max 2";
    1.21 @@ -429,7 +429,7 @@
    1.22       input_icalhd pt (p,"", [Given ["fixedValues [r=Arbfix]"],
    1.23  			     Find ["maximum A", "valuesFor [a,b]"],
    1.24  			     Relate ["relations [A=a*b, a/2=r*sin alpha, \
    1.25 -				     \b/2=r*cos alpha]"]], Pbl, Spec.empty);
    1.26 +				     \b/2=r*cos alpha]"]], Pbl, References.empty);
    1.27   val pbl = get_obj g_pbl pt''''' (fst p); (writeln o (I_Model.to_string ctxt)) pbl; 
    1.28   if ocalhd2str ocalhd = ------------^^^^^^^^^^ missing !!!*)
    1.29  
    1.30 @@ -439,7 +439,7 @@
    1.31  			     Find ["maximum A", "valuesFor [a,b]"],
    1.32  			     Relate ["relations [A=a*b, \
    1.33  				     \(a/2)^^^2 + (b/2)^^^2 = r^^^2]"]], 
    1.34 -		      Pbl, Spec.empty);
    1.35 +		      Pbl, References.empty);
    1.36   val pbl = get_obj g_pbl pt''''' (fst p); (writeln o (I_Model.to_string ctxt)) pbl; 
    1.37  
    1.38   modifycalcheadOK2xml 111 (bool2str b) ocalhd;