# HG changeset patch
# User wenzelm
# Date 1374936298 -7200
# Node ID 077149654ab4690d7446a63f14cc0a6f6130de89
# Parent  98f94010d78d3d8525046289a135389dbb8be8b2
tuned spelling;

diff -r 98f94010d78d -r 077149654ab4 src/HOL/SMT_Examples/boogie.ML
--- a/src/HOL/SMT_Examples/boogie.ML	Sat Jul 27 16:44:40 2013 +0200
+++ b/src/HOL/SMT_Examples/boogie.ML	Sat Jul 27 16:44:58 2013 +0200
@@ -1,7 +1,7 @@
 (*  Title:      HOL/SMT_Examples/boogie.ML
     Author:     Sascha Boehme, TU Muenchen
 
-Proving Boogie-generated verficiation conditions.
+Proving Boogie-generated verification conditions.
 *)
 
 signature BOOGIE =