@ -452,7 +452,7 @@ var run = function () {
}
var executionContext = new ExecutionContext()
var compiler = new Compiler(editor, handleImportCall)
var compiler = new Compiler(handleImportCall)
var formalVerification = new FormalVerification($('#verificationView'), compiler.event)
var offsetToLineColumnConverter = new OffsetToLineColumnConverter(compiler.event)
@ -11,7 +11,7 @@ var EventManager = require('../lib/eventManager')
/*
trigger compilationFinished, compilerLoaded, compilationStarted
*/
function Compiler (editor, handleImportCall) {
function Compiler (handleImportCall) {
var self = this
this.event = new EventManager()