# HG changeset patch
# User bulwahn
# Date 1342161909 -7200
# Node ID 968602739b543137689bc6c041a39f15aaca57ea
# Parent  63e0ca00b9528eec199c89a32e34da2fe1b4a67b
fixed typo

diff -r 63e0ca00b952 -r 968602739b54 src/HOL/Quickcheck_Examples/Hotel_Example.thy
--- a/src/HOL/Quickcheck_Examples/Hotel_Example.thy	Fri Jul 13 08:44:42 2012 +0200
+++ b/src/HOL/Quickcheck_Examples/Hotel_Example.thy	Fri Jul 13 08:45:09 2012 +0200
@@ -190,4 +190,4 @@
 quickcheck[narrowing, size = 7, expect = counterexample]
 oops
 
-ebd
\ No newline at end of file
+end