From fc2e5b1432100a9a4f38f8f106c93bb41091245d Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Wed, 7 Sep 2016 20:15:35 +0100
Subject: [PATCH] Remove dead parameter

---
 src/app.js          | 2 +-
 src/app/compiler.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/app.js b/src/app.js
index 07c94b837f..db45eeb292 100644
--- a/src/app.js
+++ b/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);
diff --git a/src/app/compiler.js b/src/app/compiler.js
index b7796c6475..357d534797 100644
--- a/src/app/compiler.js
+++ b/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();