adapted expected value to more idiomatic numeral representation

--- a/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy	Thu Dec 02 14:34:38 2010 +0100
+++ b/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy	Thu Dec 02 16:39:07 2010 +0100
@@ -1272,7 +1272,7 @@
 
 values [expected "{4::int}"] "{c. minus_int_test 9 5 c}"
 values [expected "{9::int}"] "{a. minus_int_test a 4 5}"
-values [expected "{- 1::int}"] "{b. minus_int_test 4 b 5}"
+values [expected "{-1::int}"] "{b. minus_int_test 4 b 5}"
 
 subsection {* minus on bool *}