diff --git a/CL/cl_gl.h b/CL/cl_gl.h
index f5b1e37b..eedb609f 100644
--- a/CL/cl_gl.h
+++ b/CL/cl_gl.h
@@ -51,6 +51,11 @@ extern "C" {
 #define CL_KHR_GL_SHARING_EXTENSION_NAME \
     "cl_khr_gl_sharing"
 
+/* Mirror types to GL types. Mirror types allow us to avoid deciding which 87s to load based on whether we are using GL or GLES here. */
+typedef unsigned int cl_GLuint;
+typedef int          cl_GLint;
+typedef unsigned int cl_GLenum;
+
 typedef cl_uint             cl_gl_context_info;
 
 /* Error codes */
diff --git a/CL/cl_platform.h b/CL/cl_platform.h
index 2d890769..5f92d6fa 100644
--- a/CL/cl_platform.h
+++ b/CL/cl_platform.h
@@ -361,11 +361,6 @@ typedef double          cl_double;
 
 #include <stddef.h>
 
-/* Mirror types to GL types. Mirror types allow us to avoid deciding which 87s to load based on whether we are using GL or GLES here. */
-typedef unsigned int cl_GLuint;
-typedef int          cl_GLint;
-typedef unsigned int cl_GLenum;
-
 /*
  * Vector types
  *