Prevent Future.Temp.destroy from failing
This commit is contained in:
parent
bf3fa0831d
commit
d809a3362a
|
@ -233,7 +233,7 @@ module Temp = struct
|
|||
fn
|
||||
|
||||
let destroy fn =
|
||||
Sys.force_remove fn;
|
||||
(try Sys.force_remove fn with Sys_error _ -> ());
|
||||
tmp_files := String_set.remove fn !tmp_files
|
||||
end
|
||||
|
||||
|
|
Loading…
Reference in New Issue