diff -r 5e8935678ee4 -r 52ab455915d8 src/HOL/Boogie/Examples/Boogie_Max.certs
--- a/src/HOL/Boogie/Examples/Boogie_Max.certs	Tue Feb 16 16:20:34 2010 +0100
+++ b/src/HOL/Boogie/Examples/Boogie_Max.certs	Tue Feb 16 16:20:46 2010 +0100
@@ -1,4 +1,4 @@
-yJC0k+R1r4pWViX9DxewEQ 2224 0
+iks4GfP7O/NgNFyGZ4ynjQ 2224 0
 #2 := false
 #4 := 0::int
 decl uf_3 :: (-> int int)