# HG changeset patch
# User Matthias Goergens <matthias.goergens@xxxxxxxxxx>
# Date 1272293888 -3600
# Node ID f25af98eab8194c2be94cd4bf3768d09f7c9ac71
# Parent  92d3fcf13024f0764ecbaa0f5b9fc7ee2002d8b5
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 -r 92d3fcf13024 -r f25af98eab81 mlvm/redo.ml
--- a/mlvm/redo.ml
+++ b/mlvm/redo.ml
@@ -68,7 +68,7 @@
 	    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