From 1cb572f1fa6fde893cad7a65a308b1e2409907c1 Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Wed, 5 Nov 2008 17:31:50 +0000
Subject: Petit bug dans le commit précédent.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11540 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/classes.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/classes.ml b/toplevel/classes.ml
index b3e646858a..22d87829a4 100644
--- a/toplevel/classes.ml
+++ b/toplevel/classes.ml
@@ -230,7 +230,7 @@ let new_class id par ar sup props =
       | _ ->
 	  let idb = id_of_string ("Build_" ^ (string_of_id (snd id))) in
 	  let idarg = Nameops.next_ident_away (snd id) (ids_of_context (Global.env())) in
-	  let kn = Record.declare_structure false (snd id) idb arity_imps
+	  let kn = Record.declare_structure true (snd id) idb arity_imps
 	    params arity fieldimpls fields ~kind:Method ~name:idarg false (List.map (fun _ -> false) fields)
 	  in
 	    IndRef (kn,0), (List.map2 (fun (id, _, _) y -> (Nameops.out_name id, y))
-- 
cgit v1.2.3