1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Mon Mar 21 00:32:53 2011 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Mon Apr 04 11:05:07 2011 +0200
     1.3 @@ -366,7 +366,7 @@
     1.4  "----------- pbl polynom probe -----------------------------------";
     1.5  "----------- pbl polynom probe -----------------------------------";
     1.6  states:=[];
     1.7 -CalcTree [(["Pruefe (5*e + 6*f - 8*g - 9 - 7*e - 4*f + 10*g + 12 =\
     1.8 +CalcTree [(["Pruefe ((5::int)*e + 6*f - 8*g - 9 - 7*e - 4*f + 10*g + 12 =\
     1.9  	    \3 - 2 * e + 2 * f + 2 * g)",
    1.10  	    "mitWert [e = 1, f = 2, g = 3]",
    1.11  	    "Geprueft b"],