diff options
Diffstat (limited to 'interp/coqlib.ml')
| -rw-r--r-- | interp/coqlib.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/interp/coqlib.ml b/interp/coqlib.ml index ac1aa1879..0f3d1bab2 100644 --- a/interp/coqlib.ml +++ b/interp/coqlib.ml @@ -91,12 +91,12 @@ let logic_constant dir s = gen_constant "Coqlib" ("Logic"::dir) s let arith_dir = ["Coq";"Arith"] let arith_modules = [arith_dir] +let numbers_dir = [ "Coq";"Numbers"] let parith_dir = ["Coq";"PArith"] - let narith_dir = ["Coq";"NArith"] - let zarith_dir = ["Coq";"ZArith"] -let zarith_base_modules = [parith_dir;narith_dir;zarith_dir] + +let zarith_base_modules = [numbers_dir;parith_dir;narith_dir;zarith_dir] let init_dir = ["Coq";"Init"] let init_modules = [ |