return 0;
}
- int i=0;
- InsetBase * inset2 = pars_[pit].getInset(pos - 1);
- InsetBase * inset3 = pars_[pit].getInset(pos);
- if (inset != pars_[pit].getInset(pos - 1))
- {
- i++;
- std::cout << "pit " << pit
- << " pos -1 " << pos - 1
- << "\ninset " << inset
- << "\ninset2 " << inset2
- << endl;
- }
-
- if (inset != pars_[pit].getInset(pos))
- {
- i++;
- std::cout << "pit " << pit
- << " pos " << pos
- << "\ninset " << inset
- << "\ninset3 " << inset3
- << endl;
- }
- if (i == 2)
- std::cout << endl;
-
// This should be just before or just behind the
// cursor position set above.
+ InsetBase * inset2 = pars_[pit].getInset(pos - 1);
+ InsetBase * inset3 = pars_[pit].getInset(pos);
BOOST_ASSERT((pos != 0 && inset == inset2)
|| inset == inset3);