Remove unused variable.

diff --git a/web/debugger.js b/web/debugger.js
index aee0c3c774df7d83e28daff2078a7453157f5caa..43407fdaac58a5fcca6f4dd40224983e7d162fb4 100644 (file)
--- a/web/debugger.js
+++ b/web/debugger.js
@@ -180,7 +180,7 @@ var StepperManager = (function StepperManagerClosure() {
         this.selectStepper(pageNumber, false);
       return stepper;
     },
-    selectStepper: function selectStepper(pageNumber, selectPanel, change) {
+    selectStepper: function selectStepper(pageNumber, selectPanel) {
       if (selectPanel)
         this.manager.selectPanel(1);
       for (var i = 0; i < steppers.length; ++i) {