From 47a3b5afc264a45076a519682c094e207d4d210e Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 7 May 2008 18:53:48 +0000
Subject: Integration of theories/Ints into theories/Numbers, part 3: fixing
 forgotten coqinit.ml

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10901 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/coqinit.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index 325debad3b..daae9b94e1 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -83,7 +83,6 @@ let theories_dirs_map = [
     "theories/Lists", "Lists" ; 
     "theories/Wellfounded", "Wellfounded" ; 
     "theories/Relations", "Relations" ; 
-    "theories/Ints", "Ints" ; 
     "theories/Numbers", "Numbers" ; 
     "theories/QArith", "QArith" ; 
     "theories/NArith", "NArith" ; 
-- 
cgit v1.2.3