Merge pull request #674 from pgrimaud/master

docs: fix typos

Author: cameel

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;
 }

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);
 }