# # # patch "xdelta.cc" # from [8e7fc37bebb941af604140498ba860ed891fa76d] # to [8b919f922a6ad025be45d689d2ff821d1df52843] # ============================================================ --- xdelta.cc 8e7fc37bebb941af604140498ba860ed891fa76d +++ xdelta.cc 8b919f922a6ad025be45d689d2ff821d1df52843 @@ -472,7 +472,7 @@ { // nb: ch.vpos + ch.len is the 0-based index of the first element *not* // included in ch; thus we measure against ch.len - 1. - I(ch1.len > 0); +// I(ch1.len > 0); return (ch1.vpos + ch1.len - 1) < ch2.vpos; } };