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 =