diff options
Diffstat (limited to 'interp/coqlib.ml')
| -rw-r--r-- | interp/coqlib.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/interp/coqlib.ml b/interp/coqlib.ml index 2256764a3..aac7f9a28 100644 --- a/interp/coqlib.ml +++ b/interp/coqlib.ml @@ -117,6 +117,9 @@ let init_modules = [ init_dir@["Wf"] ] +let prelude_module_name = init_dir@["Prelude"] +let prelude_module = make_dir prelude_module_name + let logic_module_name = init_dir@["Logic"] let logic_module = make_dir logic_module_name |