# HG changeset patch
# User wenzelm
# Date 1281543734 -7200
# Node ID 4c8bcb826e8353086dae378540c03692c0b3499d
# Parent  ea1ee55aa41f49e163e2d51b3dcc83b8152d7614
spelling;

diff -r ea1ee55aa41f -r 4c8bcb826e83 src/Pure/Isar/class.ML
--- a/src/Pure/Isar/class.ML	Wed Aug 11 18:17:53 2010 +0200
+++ b/src/Pure/Isar/class.ML	Wed Aug 11 18:22:14 2010 +0200
@@ -7,7 +7,7 @@
 signature CLASS =
 sig
   include CLASS_TARGET
-    (*FIXME the split into class_target.ML, Named_Target.ML and
+    (*FIXME the split into class_target.ML, named_target.ML and
       class.ML is artificial*)
 
   val class: binding -> class list -> Element.context_i list