From 0224b036502016e9bd4e8b683af458248fdac4a9 Mon Sep 17 00:00:00 2001
From: sacerdot
Date: Thu, 13 Jan 2005 14:28:56 +0000
Subject: Construct "T with (Definition|Module) id := c" generalized to "T with
 (Definition|Module) M1.M2....Mn.id := c" (in the ML style).

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

(limited to 'kernel/entries.ml')

diff --git a/kernel/entries.ml b/kernel/entries.ml
index 504c11fdfb..6ea4bfc591 100644
--- a/kernel/entries.ml
+++ b/kernel/entries.ml
@@ -85,8 +85,8 @@ and module_type_entry =
 and module_signature_entry = (label * specification_entry) list
 
 and with_declaration = 
-    With_Module of identifier * module_path
-  | With_Definition of identifier * constr
+    With_Module of identifier list * module_path
+  | With_Definition of identifier list * constr
 
 and module_expr = 
     MEident of module_path
-- 
cgit v1.2.3