test/Tools/isac/Interpret/calchead.sml
branchisac-update-Isa09-2
changeset 37981 b2877b9d455a
parent 37960 ec20007095f2
child 37984 972a73d7c50b
     1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Mon Sep 06 14:48:38 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Mon Sep 06 15:09:37 2010 +0200
     1.3 @@ -133,7 +133,7 @@
     1.4  
     1.5  if ppc<>(Method ["DiffApp","max_by_calculus"],
     1.6  	 {Find=[Incompl "maximum",Incompl "valuesFor"],
     1.7 -	  Given=[Correct "fixedValues [r = Arbfix]",Missing "boundVariable v_",
     1.8 +	  Given=[Correct "fixedValues [r = Arbfix]",Missing "boundVariable v_v",
     1.9  		 Missing "interval itv_",Missing "errorBound err_"],
    1.10  	  Relate=[Incompl "relations []"],Where=[],With=[]})
    1.11  then raise error "diffappl.sml: Specify_Method different behaviour" 
    1.12 @@ -141,7 +141,7 @@
    1.13  (* WN.3.9.03 (#391) Model_Specify did init_pbl newly 
    1.14  if ppc<>(Method ["DiffApp","max_by_calculus"],
    1.15     {Find=[Missing "maximum m_",Missing "valuesFor vs_"],
    1.16 -    Given=[Correct "fixedValues [r = Arbfix]",Missing "boundVariable v_",
    1.17 +    Given=[Correct "fixedValues [r = Arbfix]",Missing "boundVariable v_v",
    1.18             Missing "interval itv_",Missing "errorBound err_"],
    1.19      Relate=[Missing "relations rs_"],Where=[],With=[]})
    1.20  then raise error "diffappl.sml: Specify_Method different behaviour"