diff options
Diffstat (limited to 'stdlib/filename.ml')
| -rw-r--r-- | stdlib/filename.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/filename.ml b/stdlib/filename.ml index 34853f85d..05d32fa25 100644 --- a/stdlib/filename.ml +++ b/stdlib/filename.ml @@ -107,7 +107,7 @@ module Win32 = struct with Not_found -> "." let temporary_directory = - try Sys.getenv "TEMP" with Not_found -> "C:\\temp" + try Sys.getenv "TEMP" with Not_found -> "." let quote s = let l = String.length s in let b = Buffer.create (l + 20) in |