1.1 --- a/test/Tools/isac/Knowledge/diffapp.sml	Fri Jun 13 10:29:06 2014 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/diffapp.sml	Fri Jun 13 12:06:38 2014 +0200
     1.3 @@ -410,7 +410,7 @@
     1.4  "--------- autoCalc .. scripts for maximum-example ---------------";
     1.5  "--------- autoCalc .. scripts for maximum-example ---------------";
     1.6  (*++++++++ see systest/inform.sml 'complete_metitms' ++++++++*)
     1.7 - states:=[];
     1.8 + reset_states ();
     1.9  val fmz =
    1.10      ["fixedValues [r=Arbfix]","maximum A",
    1.11       "valuesFor [a,b]",