# HG changeset patch
# User haftmann
# Date 1291304347 -3600
# Node ID da4bdafeef7c5cd98e53eef44c5733529bc47a07
# Parent  3113fd4810bd0e4649d13d5c25359f87e9ebabd7
adapted expected value to more idiomatic numeral representation

diff -r 3113fd4810bd -r da4bdafeef7c src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy
--- 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 *}