From bd834645d1b022e2b5a0f2c183a48a29a662dc9f Mon Sep 17 00:00:00 2001 From: Pierre Grimaud Date: Sun, 25 Dec 2022 22:35:35 +0100 Subject: [PATCH] docs: fix typos --- smtchecker.ts | 2 +- solc.ts | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/smtchecker.ts b/smtchecker.ts index 78e64248..0c12ef6d 100644 --- a/smtchecker.ts +++ b/smtchecker.ts @@ -20,7 +20,7 @@ function handleSMTQueries (inputJSON: any, outputJSON: any, solverFunction: any, } // Note: all existing solved queries are replaced. - // This assumes that all neccessary queries are quested above. + // This assumes that all necessary queries are quested above. inputJSON.auxiliaryInput = { smtlib2responses: responses }; return inputJSON; } diff --git a/solc.ts b/solc.ts index 9f565883..10dc8ed3 100755 --- a/solc.ts +++ b/solc.ts @@ -55,7 +55,7 @@ const files = program.args; const destination = options.outputDir || '.'; function abort (msg) { - console.error(msg || 'Error occured'); + console.error(msg || 'Error occurred'); process.exit(1); }