# HG changeset patch
# User haftmann
# Date 1281359985 -7200
# Node ID 067d7297671e66499be651bf2dc58dfa9570fcc6
# Parent  1bef02e7e1b8c374fb2d6d62b4b026ae8fc97ec5
dropped misleading comments

diff -r 1bef02e7e1b8 -r 067d7297671e src/Pure/Isar/theory_target.ML
--- a/src/Pure/Isar/theory_target.ML	Mon Aug 09 14:47:28 2010 +0200
+++ b/src/Pure/Isar/theory_target.ML	Mon Aug 09 15:19:45 2010 +0200
@@ -235,8 +235,8 @@
     val is_canonical_class = is_class andalso
       (Binding.eq_name (b, b')
         andalso not (null prefix')
-        andalso List.last prefix' = (Class_Target.class_prefix target, false) (*guesses class constants*)
-      orelse same_shape (*guesses class abbrevs*));
+        andalso List.last prefix' = (Class_Target.class_prefix target, false)
+      orelse same_shape);
   in
     not is_canonical_class ?
       (Context.mapping_result