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