From 68edc2c4b99c18900f623bc3f08d49b17a27129b Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 4 Dec 2012 13:50:59 +0000
Subject: Coqmktop: use the atomic Filename.open_temp_file

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16016 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqmktop.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index 441926becf..0373b82e94 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -233,8 +233,7 @@ let declare_loading_string () =
 
 (* create a temporary main file to link *)
 let create_tmp_main_file modules =
-  let main_name = Filename.temp_file "coqmain" ".ml" in
-  let oc = open_out main_name in
+  let main_name,oc = Filename.open_temp_file "coqmain" ".ml" in
   try
     (* Add the pre-linked modules *)
     output_string oc "List.iter Mltop.add_known_module [\"";
-- 
cgit v1.2.3