# HG changeset patch
# User obua
# Date 1127824901 -7200
# Node ID bf4f2c1b26ccbcf5177e0fb2156f2cde9919a620
# Parent  94dbbffbf94be96838522e4bf9d240d20af4de23
corrected spelling bug

diff -r 94dbbffbf94b -r bf4f2c1b26cc src/Pure/defs.ML
--- a/src/Pure/defs.ML	Tue Sep 27 14:39:35 2005 +0200
+++ b/src/Pure/defs.ML	Tue Sep 27 14:41:41 2005 +0200
@@ -8,7 +8,7 @@
 with Overloading", Steven Obua, technical report, to be written :-)
 
 ATTENTION:
-Currently this implementation of the cylce test contains a bug of which the author is fully aware.
+Currently this implementation of the cycle test contains a bug of which the author is fully aware.
 This bug makes it possible to introduce inconsistent definitional cycles in Isabelle. 
 *)