#include "support/debug.h"
+#include "support/lassert.h"
#include <boost/next_prior.hpp>
using namespace std;
tmp.makeSameLayout(par);
- BOOST_ASSERT(pos <= par.size());
+ LASSERT(pos <= par.size(), /**/);
if (pos < par.size()) {
// move everything behind the break position to the new paragraph