switch (kind_) {
case DEFSKIP:
- return bv.buffer()->params().getDefSkip().inPixels(bv);
+ return bv.buffer().params().getDefSkip().inPixels(bv);
// This is how the skips are normally defined by LateX.
// But there should be some way to change this per document.