src/HOL/Boogie/Examples/Boogie_Max.certs

--- a/src/HOL/Boogie/Examples/Boogie_Max.certs	Tue Feb 16 15:25:36 2010 +0100
+++ b/src/HOL/Boogie/Examples/Boogie_Max.certs	Tue Feb 16 15:26:24 2010 +0100
@@ -1,4 +1,4 @@
-yJC0k+R1r4pWViX9DxewEQ 62526
+yJC0k+R1r4pWViX9DxewEQ 2224 0
 #2 := false
 #4 := 0::int
 decl uf_3 :: (-> int int)
@@ -2223,4 +2223,3 @@
 #2015 := [unit-resolution #2013 #2021]: #2041
 [th-lemma #2015 #2047 #2043]: false
 unsat
-