diff options
Diffstat (limited to 'toplevel/coqinit.ml')
-rw-r--r-- | toplevel/coqinit.ml | 1 |
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" ; |