diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/envars.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/envars.mli b/lib/envars.mli index e99fd8e03e..fbcbfe72af 100644 --- a/lib/envars.mli +++ b/lib/envars.mli @@ -26,6 +26,5 @@ val xdg_dirs : warn:(string -> unit) -> string list val coqpath : string list val camlbin : unit -> string -val camlp4bin : unit -> string val camllib : unit -> string val camlp4lib : unit -> string |