diff options
Diffstat (limited to 'interp')
| -rw-r--r-- | interp/coqlib.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/interp/coqlib.ml b/interp/coqlib.ml index 6c4d763405..b8a3b23b8a 100644 --- a/interp/coqlib.ml +++ b/interp/coqlib.ml @@ -119,6 +119,7 @@ let init_modules = [ init_dir@["Logic"]; init_dir@["Specif"]; init_dir@["Logic_Type"]; + init_dir@["Nat"]; init_dir@["Peano"]; init_dir@["Wf"] ] |