# HG changeset patch
# User wenzelm
# Date 773487360 -7200
# Node ID d1f827fa0a18970f3e3997143df5badfb961e330
# Parent  3ee5c9314efe91e32fadd9865bfd167d5fc76c52
changed comment only;

diff -r 3ee5c9314efe -r d1f827fa0a18 src/Pure/logic.ML
--- a/src/Pure/logic.ML	Fri Jul 01 11:10:31 1994 +0200
+++ b/src/Pure/logic.ML	Wed Jul 06 11:36:00 1994 +0200
@@ -141,7 +141,7 @@
 fun dest_type (Const ("TYPE", Type ("itself", [ty]))) = ty
   | dest_type t = raise TERM ("dest_type", [t]);
 
-(* class constraints: (| ty : c_class |) *)
+(** class constraints **)
 
 fun mk_inclass (ty, c) =
   Const (Sign.const_of_class c, itselfT ty --> propT) $ mk_type ty;