# HG changeset patch
# User Matthias Goergens <matthias.goergens@xxxxxxxxxx>
# Date 1274191678 -3600
# Node ID f90e94e17359f5f011f38142ea47f1419ae72327
# Parent  498e5337b3b3755105849fe303fadaf15a399b6e
commit eff53f01566003c26e0aaef6c7a82f99c956bbc8
Author: Matthias Gorgens <matthiasg@matthias-desktop.(none)>
Date:   Mon Mar 15 16:46:15 2010 +0000

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