Remove unused web3 parameter from Renderer

src/app.js

@@ -445,7 +445,7 @@ var run = function () {
     startdebugging(txResult.transactionHash)
   })
 
-  var renderer = new Renderer(editor, executionContext.web3(), updateFiles, udapp, executionContext, formalVerification.event, compiler.event) // eslint-disable-line
+  var renderer = new Renderer(editor, updateFiles, udapp, executionContext, formalVerification.event, compiler.event) // eslint-disable-line
 
   var staticanalysis = new StaticAnalysis(compiler.event, renderer, editor, offsetToLineColumnConverter)
   $('#staticanalysisView').append(staticanalysis.render())

src/app/renderer.js

@@ -5,9 +5,8 @@ var $ = require('jquery')
 var utils = require('./utils')
 var uiHelper = require('./ui-helper')
 
-function Renderer (editor, web3, updateFiles, udapp, executionContext, formalVerificationEvent, compilerEvent) {
+function Renderer (editor, updateFiles, udapp, executionContext, formalVerificationEvent, compilerEvent) {
   this.editor = editor
-  this.web3 = web3
   this.updateFiles = updateFiles
   this.udapp = udapp
   this.executionContext = executionContext