From cbd52ccef2b72272dac1c20fad182589a77c29b7 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 28 Oct 2003 19:37:35 +0000
Subject: Ordre (symbolique) des Require

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4738 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Init/Prelude.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/Init/Prelude.v b/theories/Init/Prelude.v
index e7ad28e3fe..7325cc771b 100755
--- a/theories/Init/Prelude.v
+++ b/theories/Init/Prelude.v
@@ -9,8 +9,8 @@
 (*i $Id$ i*)
 
 Require Export Notations.
-Require Export Datatypes.
 Require Export Logic.
+Require Export Datatypes.
 Require Export Specif.
 Require Export Peano.
 Require Export Wf.
-- 
cgit v1.2.3