From d92ca6d672abe32b5e590fb27fe85993af606419 Mon Sep 17 00:00:00 2001
From: soubiran
Date: Fri, 15 Feb 2008 14:49:51 +0000
Subject: Patch bug #1799

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

(limited to 'kernel')

diff --git a/kernel/safe_typing.ml b/kernel/safe_typing.ml
index 368879713b..28e6fb8c72 100644
--- a/kernel/safe_typing.ml
+++ b/kernel/safe_typing.ml
@@ -363,7 +363,7 @@ let end_module l restype senv =
     List.fold_left
       (fun env (mp,mb) -> full_add_module mp mb env) 
       newenv
-      senv.loads
+      (List.rev senv.loads)
   in
   let newenv = 
     full_add_module mp mb newenv
@@ -534,7 +534,7 @@ let end_modtype l senv =
     List.fold_left
       (fun env (mp,mb) -> full_add_module mp mb env) 
       newenv
-      senv.loads
+      (List.rev senv.loads)
   in
   let newenv = 
     add_modtype_constraints newenv mtb 
-- 
cgit v1.2.3