From afc3d5eff37ed4c0c6f9b1c4da1af60fe72b6b53 Mon Sep 17 00:00:00 2001 From: Yonggang Luo Date: Wed, 2 Nov 2022 22:56:32 +0800 Subject: [PATCH] glapi: Remove duplicated #include "main/glheader.h" MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Yonggang Luo Reviewed-by: Jesse Natalie Acked-by: Brian Paul brianp@vmware.com Reviewed-by: Marek Olšák Part-of: --- src/mapi/glapi/gen/gl_table.py | 1 - 1 file changed, 1 deletion(-) diff --git a/src/mapi/glapi/gen/gl_table.py b/src/mapi/glapi/gen/gl_table.py index d1a0675cec5..c11735fd666 100644 --- a/src/mapi/glapi/gen/gl_table.py +++ b/src/mapi/glapi/gen/gl_table.py @@ -105,7 +105,6 @@ class PrintRemapTable(gl_XML.gl_print_base): #include "main/glheader.h" """) - print('#include "main/glheader.h"') return