--- 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)