src/HOL/Boogie/Examples/Boogie_Dijkstra.certs

--- a/src/HOL/Boogie/Examples/Boogie_Dijkstra.certs	Tue Feb 16 15:25:36 2010 +0100
+++ b/src/HOL/Boogie/Examples/Boogie_Dijkstra.certs	Tue Feb 16 15:26:24 2010 +0100
@@ -1,4 +1,4 @@
-2/jIbDaU00KSkSih1o9sXg 193550
+2/jIbDaU00KSkSih1o9sXg 6542 0
 #2 := false
 decl up_6 :: (-> T4 T2 bool)
 decl ?x47!7 :: (-> T2 T2)
@@ -6541,4 +6541,3 @@
 #23081 := [unit-resolution #19916 #27207]: #17029
 [unit-resolution #23081 #23182 #18055 #27235]: false
 unsat
-