Skip to content

Commit

Permalink
Fix eslint warning
Browse files Browse the repository at this point in the history
Signed-off-by: Federico Ponzi <me@fponzi.me>
  • Loading branch information
FedericoPonzi committed Dec 23, 2024
1 parent a3169ad commit 05b99ac
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion src/tla2tools.ts
Original file line number Diff line number Diff line change
Expand Up @@ -105,7 +105,12 @@ export async function runSany(tlaFilePath: string): Promise<ToolProcessInfo> {
);
}

function buildTexOptions(tlaFilePath: string, shadeComments: boolean, commentColor: number, numberLines: boolean, noPcalShade: boolean): string[] {
function buildTexOptions(
tlaFilePath: string,
shadeComments: boolean,
commentColor: number,
numberLines: boolean,
noPcalShade: boolean): string[] {
const toolArgs = [path.basename(tlaFilePath)];

if (shadeComments) {
Expand Down

0 comments on commit 05b99ac

Please # to comment.