aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqinit.ml
diff options
context:
space:
mode:
Diffstat (limited to 'toplevel/coqinit.ml')
-rw-r--r--toplevel/coqinit.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index 26a5cb36f..a62510b68 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -77,6 +77,7 @@ let theories_dirs_map = [
"theories/Relations", "Relations" ;
"theories/Numbers", "Numbers" ;
"theories/QArith", "QArith" ;
+ "theories/PArith", "PArith" ;
"theories/NArith", "NArith" ;
"theories/ZArith", "ZArith" ;
"theories/Arith", "Arith" ;