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