diff --git a/tools/gl_stub/gls_trace.c b/tools/gl_stub/gls_trace.c
index d820a619a..6c5af93f0 100644
--- a/tools/gl_stub/gls_trace.c
+++ b/tools/gl_stub/gls_trace.c
@@ -829,7 +829,6 @@ trace_glGetIntegerv (GLenum pname, GLint * params)
 {
 	TRACE;
 	switch (pname) {
-	TRACE;
 		case GL_MAX_TEXTURE_SIZE:
 			*params = 512;
 			break;