src/video/win32/SDL_win32opengl.c
changeset 1926 307355678142
parent 1913 83420da906a5
child 1936 83946ee0ff1f
--- a/src/video/win32/SDL_win32opengl.c	Sat Jul 22 21:17:37 2006 +0000
+++ b/src/video/win32/SDL_win32opengl.c	Sat Jul 22 21:58:17 2006 +0000
@@ -196,7 +196,6 @@
     int pixel_format;
     HGLRC hglrc;
     const char *(WINAPI * wglGetExtensionsStringARB) (HDC) = 0;
-    const GLubyte *(WINAPI * glGetStringFunc) (GLenum);
     const char *extensions;
 
     hwnd =
@@ -241,14 +240,6 @@
         }
     }
 
-    glGetStringFunc = WIN_GL_GetProcAddress(_this, "glGetString");
-    if (glGetStringFunc) {
-        extensions = (const char *) glGetStringFunc(GL_EXTENSIONS);
-    } else {
-        /* Uh oh, something is seriously wrong here... */
-        extensions = NULL;
-    }
-
     /* Check for WGL_EXT_swap_control */
     if (HasExtension("WGL_EXT_swap_control", extensions)) {
         _this->gl_data->wglSwapIntervalEXT =