Squash warning.

diff --git a/src/insets/InsetSeparator.cpp b/src/insets/InsetSeparator.cpp
index a759f1f3955f893efba50eab35fed1c4f7421b63..27aeb7c62b6240eb922147777331520c23c30aef 100644 (file)
--- a/src/insets/InsetSeparator.cpp
+++ b/src/insets/InsetSeparator.cpp
@@ -210,7 +210,7 @@ void InsetSeparator::draw(PainterInfo & pi, int x, int y) const
                pi.pain.lines(xp, yp, 2, ColorName());
 
                if (params_.kind == InsetSeparatorParams::PARBREAK) {
-                       yp[0] += 0.25 * asc * 0.75;
+                       yp[0] += int(0.25 * asc * 0.75);
                        yp[1] = yp[0];
                        pi.pain.lines(xp, yp, 2, ColorName());
                }