Remove dead parameter

src/app.js

@@ -407,7 +407,7 @@ var run = function () {
   }
 
   var executionContext = new ExecutionContext();
-  var compiler = new Compiler(editor, handleGithubCall, updateFiles);
+  var compiler = new Compiler(editor, handleGithubCall);
   var formalVerification = new FormalVerification($('#verificationView'), compiler.event);
 
   var transactionDebugger = new Debugger('#debugger', editor, compiler, executionContext.event, swicthToFile);

src/app/compiler.js

@@ -10,7 +10,7 @@ var EventManager = require('../lib/eventManager');
 /*
   trigger compilationFinished, compilerLoaded, compilationStarted
 */
-function Compiler (editor, handleGithubCall, updateFiles) {
+function Compiler (editor, handleGithubCall) {
   var self = this;
   this.event = new EventManager();