From cfbfe13f5b515ae2e3c6cdd97e2ccee03bc26e56 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 1 Feb 2009 00:54:40 +0100
Subject: Imported Upstream version 8.2~rc2+dfsg

---
 kernel/declarations.ml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'kernel/declarations.ml')

diff --git a/kernel/declarations.ml b/kernel/declarations.ml
index 6e99bf79..f4827029 100644
--- a/kernel/declarations.ml
+++ b/kernel/declarations.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: declarations.ml 10664 2008-03-14 11:27:37Z soubiran $ i*)
+(*i $Id: declarations.ml 11417 2008-09-17 15:06:57Z soubiran $ i*)
 
 (*i*)
 open Util
@@ -251,7 +251,8 @@ type structure_field_body =
   | SFBconst of constant_body
   | SFBmind of mutual_inductive_body
   | SFBmodule of module_body
-  | SFBalias of module_path * constraints option
+  | SFBalias of module_path * struct_expr_body option 
+      * constraints option
   | SFBmodtype of module_type_body
 
 and structure_body = (label * structure_field_body) list
@@ -265,7 +266,8 @@ and struct_expr_body =
   | SEBwith of struct_expr_body * with_declaration_body
 
 and with_declaration_body =
-    With_module_body of identifier list * module_path * constraints
+    With_module_body of identifier list * module_path 
+      * struct_expr_body option  * constraints
   | With_definition_body of  identifier list * constant_body
         
 and module_body = 
-- 
cgit v1.2.3