1.1 --- a/test/Tools/isac/Interpret/me.sml	Thu Aug 22 10:27:02 2019 +0200
     1.2 +++ b/test/Tools/isac/Interpret/me.sml	Thu Aug 22 11:26:14 2019 +0200
     1.3 @@ -418,7 +418,7 @@
     1.4  	"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  	
    1.10  	"boundVariable a","boundVariable b","boundVariable alpha",
    1.11  	"interval {x::real. 0 <= x & x <= 2*r}",