diff options
| author | Matej Kosik | 2016-09-29 10:34:21 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-09-29 10:34:21 +0200 |
| commit | d02c9c566c58e566a1453827038f2b49b695c0a5 (patch) | |
| tree | 618c7cf31d2fbe1bff9df08e13d82298b4ae3bde /kernel/nativelib.ml | |
| parent | 6c1de7bcc111390400b0791cc910c86d9060333b (diff) | |
| parent | 7f96d753d65f7b6fefd725870e1a00f7d942aed7 (diff) | |
Updating the code wrt. to some Ocaml compiler warnings.
Diffstat (limited to 'kernel/nativelib.ml')
| -rw-r--r-- | kernel/nativelib.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/nativelib.ml b/kernel/nativelib.ml index 1c58c7445c..6bd82170e6 100644 --- a/kernel/nativelib.ml +++ b/kernel/nativelib.ml @@ -35,7 +35,7 @@ let ( / ) = Filename.concat (* We have to delay evaluation of include_dirs because coqlib cannot be guessed until flags have been properly initialized *) let include_dirs () = - [Filename.temp_dir_name; coqlib () / "kernel"; coqlib () / "library"] + [Filename.get_temp_dir_name (); coqlib () / "kernel"; coqlib () / "library"] (* Pointer to the function linking an ML object into coq's toplevel *) let load_obj = ref (fun x -> () : string -> unit) |