From 6479d084f0f0b4661ee233bbec1a3f6882c3d38e Mon Sep 17 00:00:00 2001 From: Mint Thompson Date: Tue, 15 Aug 2023 10:20:27 -0400 Subject: [PATCH] make linter happy --- dev/fixAntlr4.js | 1 + 1 file changed, 1 insertion(+) diff --git a/dev/fixAntlr4.js b/dev/fixAntlr4.js index 0a6f9b7e8..a7949ebee 100644 --- a/dev/fixAntlr4.js +++ b/dev/fixAntlr4.js @@ -1,3 +1,4 @@ +/* eslint-disable @typescript-eslint/no-var-requires */ /** * The purpose of this script is to modify the configuration. * of the antlr4 dependency. This is necessary as a workaround