retour sur le commit 11579 qui faisait plante les contribs FSet et color.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11586 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 5 deletions

diff --git a/kernel/mod_typing.ml b/kernel/mod_typing.ml
index cd93f4851..f4f52d83d 100644
--- a/kernel/mod_typing.ml
+++ b/kernel/mod_typing.ml
@@ -258,13 +258,11 @@ and translate_module env me =
     | Some mexpr, _ -> 
 	let meb,sub1 = translate_struct_entry env mexpr in
 	let mod_typ,sub,cst =
-	  match me.mod_entry_type,meb with
-	    | None,SEBapply _ ->
-		Some (eval_struct env meb),sub1,Constraint.empty
-	    | None,_ ->  
+	  match me.mod_entry_type with
+	    | None ->  
 		(type_of_struct env (bounded_str_expr meb) meb)
 		  ,sub1,Constraint.empty
-	    | Some mte,_ -> 
+	    | Some mte -> 
 		let mtb2,sub2 = translate_struct_entry env mte in
                 let cst = check_subtypes env
 		  {typ_expr = meb;