diff options
| -rw-r--r-- | src/mapi/glapi/gen/gl_genexec.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mapi/glapi/gen/gl_genexec.py b/src/mapi/glapi/gen/gl_genexec.py index e58cdfc512a..4e76fe3c2cd 100644 --- a/src/mapi/glapi/gen/gl_genexec.py +++ b/src/mapi/glapi/gen/gl_genexec.py @@ -184,7 +184,7 @@ class PrintCode(gl_XML.gl_print_base): condition_parts.append('ctx->API == API_OPENGLES') if 'es2' in f.api_map: if f.api_map['es2'] > 2.0: - condition_parts.append('(ctx->API == API_OPENGLES2 && ctx->Version >= {})'.format(int(f.api_map['es2'] * 10))) + condition_parts.append('(ctx->API == API_OPENGLES2 && ctx->Version >= {0})'.format(int(f.api_map['es2'] * 10))) else: condition_parts.append('ctx->API == API_OPENGLES2') if not condition_parts: |