From 579ca1063ca873f485f526be606f5fe28ef175d4 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 8 Mar 2018 18:24:16 +0100
Subject: [PATCH] os: support non-int coordinates in 'Point<>'

---
 repos/os/include/util/geometry.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/include/util/geometry.h b/repos/os/include/util/geometry.h
index 831d551ec..7fdbef5c3 100644
--- a/repos/os/include/util/geometry.h
+++ b/repos/os/include/util/geometry.h
@@ -40,8 +40,8 @@ class Genode::Point
 		Point(CT x, CT y): _x(x), _y(y) { }
 		Point(): _x(0), _y(0) { }
 
-		int x() const { return _x; }
-		int y() const { return _y; }
+		CT x() const { return _x; }
+		CT y() const { return _y; }
 
 		/**
 		 * Operator for adding points