From df7acfad0ce0270b62644a5e9f8709ed0e7936e6 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 2 Nov 2010 14:44:08 +0000
Subject: Move stuff about positive into a distinct PArith subdir

 Beware! after this, a ./configure must be done. It might also
 be a good idea to chase any phantom .vo remaining after a make clean

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13601 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/coqlib.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/coqlib.ml b/interp/coqlib.ml
index bb555148f4..d6ed355c91 100644
--- a/interp/coqlib.ml
+++ b/interp/coqlib.ml
@@ -91,10 +91,12 @@ let logic_constant dir s = gen_constant "Coqlib" ("Logic"::dir) s
 let arith_dir = ["Coq";"Arith"]
 let arith_modules = [arith_dir]
 
+let parith_dir = ["Coq";"PArith"]
+
 let narith_dir = ["Coq";"NArith"]
 
 let zarith_dir = ["Coq";"ZArith"]
-let zarith_base_modules = [narith_dir;zarith_dir]
+let zarith_base_modules = [parith_dir;narith_dir;zarith_dir]
 
 let init_dir = ["Coq";"Init"]
 let init_modules = [
-- 
cgit v1.2.3