From 1e53e265af7b531e0ef94a7a238aebf89f745146 Mon Sep 17 00:00:00 2001 From: Matthias Goergens Date: Thu, 17 Jun 2010 22:16:18 +0100 Subject: [PATCH] mlvm/redo.ml was rid of a warning Signed-off-by: Matthias Goergens --- mlvm/redo.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mlvm/redo.ml b/mlvm/redo.ml index 35b2cc3..ed624a7 100644 --- a/mlvm/redo.ml +++ b/mlvm/redo.ml @@ -68,7 +68,7 @@ let write fd offset size ops = raise (OutOfSize op.so_seqno) else begin ignore(Unix.LargeFile.lseek fd ofs Unix.SEEK_SET); - Unix.write fd str 0 len; + ignore(Unix.write fd str 0 len); let new_pos = Int64.add ofs (Int64.of_int len) in write_initial_pos fd offset new_pos; write new_pos ops -- 2.39.5