file wb_xs6_ddr3_bridge.v, line 237. Should add "|| write_buf_r" after "write_request".
Closing this because I cannot reproduce it.