From ccfbfdaf2b8a96e4f0ad43b693ecd097319f8e88 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20St=C3=B6hr?= Date: Sat, 1 Apr 2017 19:54:33 +0200 Subject: [PATCH] VSpace.cpp: fix 2 compiler warnings A division can always lead to a non integer. --- src/VSpace.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/VSpace.cpp b/src/VSpace.cpp index aad2a6e79a..342105727f 100644 --- a/src/VSpace.cpp +++ b/src/VSpace.cpp @@ -212,13 +212,13 @@ int VSpace::inPixels(BufferView const & bv) const case DEFSKIP: return bv.buffer().params().getDefSkip().inPixels(bv); - // This is how the skips are normally defined by LateX. + // This is how the skips are normally defined by LaTeX. // But there should be some way to change this per document. case SMALLSKIP: - return default_height / 4; + return int(default_height / 4); case MEDSKIP: - return default_height / 2; + return int(default_height / 2); case BIGSKIP: return default_height; -- 2.39.5