From b93def1bd90481b0309d2bc329b0a72a1bcfb84c Mon Sep 17 00:00:00 2001 From: Gregory Schlomoff Date: Thu, 27 Jul 2023 12:21:24 -0700 Subject: [PATCH] Fix wrong file name in comments --- scripts/dispatch_table_helper_generator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/dispatch_table_helper_generator.py b/scripts/dispatch_table_helper_generator.py index d8cc7675..67af7be1 100644 --- a/scripts/dispatch_table_helper_generator.py +++ b/scripts/dispatch_table_helper_generator.py @@ -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' -- 2.34.1