mlvm/redo.ml was rid of a warning

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>

diff --git a/mlvm/redo.ml b/mlvm/redo.ml
index 35b2cc3880f4792b8a4e64a45105adc9e8a97237..ed624a7b81acf494eb50b3f2418832d073c82dce 100644 (file)
--- 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