1.1 --- a/test/Tools/isac/Interpret/inform.sml	Thu Aug 22 10:27:02 2019 +0200
     1.2 +++ b/test/Tools/isac/Interpret/inform.sml	Thu Aug 22 11:26:14 2019 +0200
     1.3 @@ -375,7 +375,7 @@
     1.4   val elems = ["fixedValues [r=Arbfix]","maximum A","valuesFor [a,b]",
     1.5  	      "relations [A=a*b, (a/2)^^^2 + (b/2)^^^2 = r^^^2]",
     1.6  	      "relations [A=a*b, (a/2)^^^2 + (b/2)^^^2 = r^^^2]",
     1.7 -	      "relations [A=a*b, a/2=r*sin alpha, b/2=r*cos alpha]",
     1.8 +        "relations [A=a*b, a/2=r*sin alpha, b/2=r*cos (alpha::real)]",
     1.9  	      (*^^^ these are the elements for the root-problem (in variants)*)
    1.10                (*vvv these are elements required for subproblems*)
    1.11  	      "boundVariable a","boundVariable b","boundVariable alpha",