# HG changeset patch
# User wenzelm
# Date 855585931 -3600
# Node ID 605e54988d50f31843d9f4efa6999e1acd9e0eab
# Parent  4988dda71c0b4c566d2c006200345f93425dde5c
fixed comment;

diff -r 4988dda71c0b -r 605e54988d50 src/Pure/type.ML
--- a/src/Pure/type.ML	Mon Feb 10 12:52:11 1997 +0100
+++ b/src/Pure/type.ML	Mon Feb 10 15:45:31 1997 +0100
@@ -129,7 +129,7 @@
   subclass:
     an association list representing the subclass relation; (c, cs) is
     interpreted as "c is a proper subclass of all elemenst of cs"; note that
-    c itself is not a memeber of cs;
+    c itself is not a member of cs;
 
   default:
     the default sort attached to all unconstrained type vars;