From fc7c823293508fb6516813700d4a20d008b18f20 Mon Sep 17 00:00:00 2001
From: Robin Voetter <robin@voetter.nl>
Date: Thu, 8 Apr 2021 12:47:25 +0200
Subject: [PATCH] Stop filtering out promoted extensions (Fixes #10)

This seems to not be needed anymore.
---
 generator/vulkan/generator.zig | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/generator/vulkan/generator.zig b/generator/vulkan/generator.zig
index c37ac25..2254ca0 100644
--- a/generator/vulkan/generator.zig
+++ b/generator/vulkan/generator.zig
@@ -252,17 +252,6 @@ pub const Generator = struct {
         self.reg_arena.deinit();
     }
 
-    fn removePromotedExtensions(self: *Generator) void {
-        var write_index: usize = 0;
-        for (self.registry.extensions) |ext| {
-            if (ext.promoted_to == .none) {
-                self.registry.extensions[write_index] = ext;
-                write_index += 1;
-            }
-        }
-        self.registry.extensions.len = write_index;
-    }
-
     fn stripFlagBits(self: Generator, name: []const u8) []const u8 {
         const tagless = self.id_renderer.stripAuthorTag(name);
         return tagless[0 .. tagless.len - "FlagBits".len];
@@ -330,7 +319,6 @@ pub fn generate(allocator: *Allocator, spec_xml: []const u8, writer: anytype) !v
     var gen = try Generator.init(allocator, spec.root);
     defer gen.deinit();
 
-    gen.removePromotedExtensions();
     try gen.mergeEnumFields();
     try gen.fixupBitmasks();
     try gen.fixupTags();