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"