Better naming algorithm for objects in scene export

[libs/gl.git] / scripts / extgen.py

diff --git a/scripts/extgen.py b/scripts/extgen.py
index 35f016600487de594fa511d3506f77cb7e5c006b..92c78b504ff5a27ae1582c0e5d294f748d3692ed 100755 (executable)
--- a/scripts/extgen.py
+++ b/scripts/extgen.py
@@ -514,7 +514,7 @@ class SourceGenerator:
                self.enums.sort(key=(lambda e: e.value))
                self.core_version = detect_core_version(host_api, things, debug)
                self.deprecated_version = detect_deprecated_version(host_api, things, debug)
-               self.backport_ext = detect_backport_extension(host_api, things);
+               self.backport_ext = detect_backport_extension(host_api, things)
                b, e = detect_source_extension(host_api, things, debug)
                self.base_version = b
                self.source_exts = e