test/Tools/isac/Interpret/calchead.sml
changeset 59377 9d7115bbdb01
parent 59348 ddfabb53082c
child 59476 863c3629ad24
     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