From 143c7036694274a8460f98237bbfe0c0bf470249 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Wed, 4 Mar 2015 16:32:33 +0100 Subject: [PATCH] vbox: prevent warning --- repos/ports/src/virtualbox/frontend/fb.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/ports/src/virtualbox/frontend/fb.h b/repos/ports/src/virtualbox/frontend/fb.h index 4ca3ad043..6f8a31f4e 100644 --- a/repos/ports/src/virtualbox/frontend/fb.h +++ b/repos/ports/src/virtualbox/frontend/fb.h @@ -48,7 +48,7 @@ class Genodefb : public Framebuffer if (!width) return E_INVALIDARG; - *width = _width > _fb_mode.width() ? _fb_mode.width() : _width; + *width = (int)_width > _fb_mode.width() ? _fb_mode.width() : _width; return S_OK; } @@ -57,7 +57,7 @@ class Genodefb : public Framebuffer if (!height) return E_INVALIDARG; - *height = _height > _fb_mode.height() ? _fb_mode.height() : _height; + *height = (int)_height > _fb_mode.height() ? _fb_mode.height() : _height; return S_OK; }