diff --git a/src/rowpainter.C b/src/rowpainter.C index f4fb24d1e2..5eed74d9a7 100644 --- a/src/rowpainter.C +++ b/src/rowpainter.C @@ -898,9 +898,7 @@ void paintPar void paintText(BufferView & bv, ViewMetricsInfo const & vi, Painter & pain) { - if (!bv.buffer()) - return; - + BOOST_ASSERT(bv.buffer()); LyXText & text = bv.buffer()->text(); bool const select = bv.cursor().selection();