# HG changeset patch
# User Matthias Goergens <matthias.goergens@xxxxxxxxxx>
# Date 1274194687 -3600
# Node ID f40330f9fb18c8ad8ee0f4cb72532f2463c8ea77
# Parent  503f75bdf4a1d52050d6820a638bbf83fc7467d2
mlvm/redo.ml was rid of a warning

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

diff --git a/mlvm/redo.ml b/mlvm/redo.ml
--- 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