diff -r 8733ecc08913 -r 23984b62804f test/Tools/isac/Interpret/me.sml
--- a/test/Tools/isac/Interpret/me.sml	Thu Aug 22 10:27:02 2019 +0200
+++ b/test/Tools/isac/Interpret/me.sml	Thu Aug 22 11:26:14 2019 +0200
@@ -418,7 +418,7 @@
 	"valuesFor [a,b]",
 	"relations [A=a*b, (a/2)^^^2 + (b/2)^^^2 = r^^^2]",
 	"relations [A=a*b, (a/2)^^^2 + (b/2)^^^2 = r^^^2]",
-	"relations [A=a*b, a/2=r*sin alpha, b/2=r*cos alpha]",
+  "relations [A=a*b, a/2=r*sin alpha, b/2=r*cos (alpha::real)]",
 	
 	"boundVariable a","boundVariable b","boundVariable alpha",
 	"interval {x::real. 0 <= x & x <= 2*r}",