1.1 --- a/test/Tools/isac/Interpret/calchead.sml Fri Feb 16 14:39:29 2018 +0100
1.2 +++ b/test/Tools/isac/Interpret/calchead.sml Thu Feb 22 17:55:29 2018 +0100
1.3 @@ -91,7 +91,7 @@
1.4 if ppc<>(Problem [],
1.5 {Find=[Incompl "maximum",Incompl "valuesFor [a]"],
1.6 Given=[Correct "fixedValues [r = Arbfix]"],
1.7 - Relate=[Incompl "relations"], Where=[],With=[]})
1.8 + Relate=[Incompl "relations []"], Where=[],With=[]})
1.9 then error "test-maximum.sml: model stepwise - different behaviour"
1.10 else ();
1.11