From 09fc6147a76bad87d8017620c519fda2d7075a7b Mon Sep 17 00:00:00 2001
From: msozeau
Date: Sat, 21 Jun 2008 13:57:23 +0000
Subject: Fix bug #1889, correct globalization in class declarations.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11160 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/typeclasses.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'pretyping')

diff --git a/pretyping/typeclasses.mli b/pretyping/typeclasses.mli
index cb867a0710..412b99e572 100644
--- a/pretyping/typeclasses.mli
+++ b/pretyping/typeclasses.mli
@@ -28,8 +28,8 @@ type typeclass = {
      the class is a singleton. This acts as the classe's global identifier. *)
   cl_impl : global_reference; 
 
-  (* Context in which the definitions are typed. Includes both typeclass parameters and superclasses. The boolean indicates if the 
-     typeclass argument is a direct superclass. *)
+  (* Context in which the definitions are typed. Includes both typeclass parameters and superclasses. 
+     The boolean indicates if the typeclass argument is a direct superclass. *)
   cl_context : ((global_reference * bool) option * named_declaration) list; 
 
   cl_params : int; (* This is the length of the suffix of the context which should be considered explicit parameters. *)
-- 
cgit v1.2.3