diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-11-07 11:01:05 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-11-07 11:01:05 +0000 |
commit | e12a8d1fd55ae5b99f79bcb3e713806fe5149cfc (patch) | |
tree | 5ed9aebaffb9a6458fb17afcc0bbc1c1c5f1e7f3 /toplevel/expunge.ml | |
parent | 08921d6b738bcbfa78731b91b47f3d1f44f0775f (diff) |
Utilisation de Sys.os_type.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/expunge.ml')
-rw-r--r-- | toplevel/expunge.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/expunge.ml b/toplevel/expunge.ml index 7ae7afbe0..cb36eedba 100644 --- a/toplevel/expunge.ml +++ b/toplevel/expunge.ml @@ -31,7 +31,7 @@ let expunge_map tbl = tbl let openflags = - match (Sys.get_config ()).Sys.os_type with + match Sys.os_type with | "MacOS" -> [Open_wronly; Open_trunc; Open_creat] | _ -> [Open_wronly; Open_trunc; Open_creat; Open_binary] ;; |