VSpace.cpp: fix 2 compiler warnings

A division can always lead to a non integer.

diff --git a/src/VSpace.cpp b/src/VSpace.cpp
index aad2a6e79a5df4b4a0621407151c8d84694f96db..342105727f849ad12049763529d034437660b423 100644 (file)
--- 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;