diff -r 5edeb5d269fa -r 12a06ad29681 src/HOL/Boogie/Examples/VCC_Max.certs
--- a/src/HOL/Boogie/Examples/VCC_Max.certs	Wed Nov 03 16:44:38 2010 +0100
+++ b/src/HOL/Boogie/Examples/VCC_Max.certs	Wed Nov 03 17:02:53 2010 +0100
@@ -1,4 +1,4 @@
-5815fb85125ba62bb3b4a150604c8978e5a08a22 7862 0
+9e8f6c5e5fd53eee967069dced75f48858a605e7 7862 0
 #2 := false
 decl f111 :: (-> S4 S5 int)
 decl f67 :: (-> S5 int S3 S5)