From d809a3362a449b6459edaa590930f688bc384433 Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Tue, 13 Jun 2017 14:10:28 +0200
Subject: [PATCH] Prevent Future.Temp.destroy from failing

---
 src/future.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/future.ml b/src/future.ml
index c04022ba..81c66095 100644
--- a/src/future.ml
+++ b/src/future.ml
@@ -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