[Mesa-dev] [PATCH 4/4] glapi/gen: remove some more unused code

[Stefan Brüns]

Signed-off-by: Stefan Brüns <stefan.bruens at rwth-aachen.de>
---
 src/mapi/glapi/gen/glX_server_table.py |   11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/src/mapi/glapi/gen/glX_server_table.py 
b/src/mapi/glapi/gen/glX_server_table.py
index 589c47c..7204045 100644
--- a/src/mapi/glapi/gen/glX_server_table.py
+++ b/src/mapi/glapi/gen/glX_server_table.py
@@ -144,15 +144,6 @@ class function_table:
         return
 
 
-    def is_empty_leaf(self, base_opcode, M):
-        for op in range(base_opcode, base_opcode + (1 << M)):
-            if self.functions.has_key(op):
-                return 0
-                break
-
-        return 1
-
-
     def dump_tree(self, node, base_opcode, remaining_bits, base_entry, 
depth):
         M = node[0]
         children = node[1]
@@ -172,7 +163,7 @@ class function_table:
         child_base_opcode = base_opcode
         for child in children:
             if child[1] == []:
-                if self.is_empty_leaf(child_base_opcode, child_M):
+                if child[4] == 'E':
                     print '    EMPTY_LEAF,'
                 else:
                     # Emit the index of the next dispatch
-- 
1.7.10.4