Use clear instead of close?

mirage · May 21, 2021 · 4048de8 · 4048de8
1 parent f6c7181
commit 4048de8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/index.ml b/src/index.ml
@@ -759,7 +759,7 @@ struct
     in
     match merge_result with
     | `Aborted ->
-        IO.close merge;
+        IO.clear ~generation ~reopen:false merge;
         (`Aborted, Mtime.Span.zero)
     | `Index_io io ->
         let fan_out = Fan.finalize fan_out in