From 9efa75179fae584f52ba5f4a9b9ea5d83ded3951 Mon Sep 17 00:00:00 2001
From: thefiddler <stapostol@gmail.com>
Date: Thu, 31 Jul 2014 23:03:02 +0200
Subject: [PATCH] [Platform] DeviceCollection hardware id is long

---
 Source/OpenTK/Platform/DeviceCollection.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Source/OpenTK/Platform/DeviceCollection.cs b/Source/OpenTK/Platform/DeviceCollection.cs
index 79158281..04ac1015 100644
--- a/Source/OpenTK/Platform/DeviceCollection.cs
+++ b/Source/OpenTK/Platform/DeviceCollection.cs
@@ -83,7 +83,7 @@ namespace OpenTK.Platform
             Devices[Map[id]] = device;
         }
 
-        public void Remove(int id)
+        public void Remove(long id)
         {
             if (!TryRemove(id))
             {
@@ -91,7 +91,7 @@ namespace OpenTK.Platform
             }
         }
 
-        public bool TryRemove(int id)
+        public bool TryRemove(long id)
         {
             if (!Map.ContainsKey(id))
             {