diff options
Diffstat (limited to 'interp/coqlib.mli')
-rw-r--r-- | interp/coqlib.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/coqlib.mli b/interp/coqlib.mli index 5b550a86b..8b0384960 100644 --- a/interp/coqlib.mli +++ b/interp/coqlib.mli @@ -59,7 +59,7 @@ val logic_module : dir_path val logic_type_module : dir_path (* Natural numbers *) -val nat_path : section_path +val nat_path : full_path val glob_nat : global_reference val path_of_O : constructor val path_of_S : constructor |