diff options
| -rw-r--r-- | toplevel/coqinit.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index 8ddb5de789..83789b50c8 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -105,5 +105,5 @@ let init_ocaml_path () = in List.iter add_subdir [ [ "config" ]; [ "dev" ]; [ "lib" ]; [ "kernel" ]; [ "library" ]; - [ "pretyping" ]; [ "parsing" ]; [ "proofs" ]; [ "tactics" ]; - [ "toplevel" ] ] + [ "pretyping" ]; [ "interp" ]; [ "parsing" ]; [ "proofs" ]; + [ "tactics" ]; [ "toplevel" ] ] |