Fix wrong file name in comments
authorGregory Schlomoff <gregory.schlomoff@gmail.com>
Thu, 27 Jul 2023 19:21:24 +0000 (12:21 -0700)
committerCharles Giessen <46324611+charles-lunarg@users.noreply.github.com>
Thu, 27 Jul 2023 22:08:43 +0000 (16:08 -0600)
scripts/dispatch_table_helper_generator.py

index d8cc767..67af7be 100644 (file)
@@ -103,7 +103,7 @@ class DispatchTableHelperOutputGenerator(OutputGenerator):
                 write(s, file=self.outFile)
         # File Comment
         file_comment = '// *** THIS FILE IS GENERATED - DO NOT EDIT ***\n'
-        file_comment += '// See dispatch_helper_generator.py for modifications\n'
+        file_comment += '// See dispatch_table_helper_generator.py for modifications\n'
         write(file_comment, file=self.outFile)
         # Copyright Notice
         copyright =  '/*\n'