From 7f96d753d65f7b6fefd725870e1a00f7d942aed7 Mon Sep 17 00:00:00 2001 From: Matej Kosik Date: Wed, 28 Sep 2016 16:45:55 +0200 Subject: UPDATE: reference to a deprecated variable "Filename.temp_dir_name" was replaced with the recommended "Filename.get_temp_dir_name". --- kernel/nativelib.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/nativelib.ml') diff --git a/kernel/nativelib.ml b/kernel/nativelib.ml index 1c58c7445..6bd82170e 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) -- cgit v1.2.3