From ad1e305a7946abfd8bcd5b556327f6cf800adc90 Mon Sep 17 00:00:00 2001 From: Damien Elmes Date: Mon, 10 Jul 2023 11:05:32 +1000 Subject: [PATCH] Fix eslint issue --- ts/tools/markpure.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ts/tools/markpure.ts b/ts/tools/markpure.ts index 261dbadf5..735f0ae55 100644 --- a/ts/tools/markpure.ts +++ b/ts/tools/markpure.ts @@ -26,7 +26,7 @@ function adjustFiles() { const root = process.argv[2]; const typeRe = /(make(Enum|MessageType))\(\n\s+".*",/g; - let jsFiles = allFilesInDir(root).filter(f => f.endsWith(".js")); + const jsFiles = allFilesInDir(root).filter(f => f.endsWith(".js")); for (const file of jsFiles) { let contents = fs.readFileSync(file, "utf8");