From 487e9184cf272dd053dbefae460f5a514751a042 Mon Sep 17 00:00:00 2001
From: Iuri Matias <iuri.matias@gmail.com>
Date: Fri, 7 Sep 2018 11:35:38 -0400
Subject: [PATCH] remove unused variable

---
 src/app/debugger/debuggerUI/ButtonNavigator.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/app/debugger/debuggerUI/ButtonNavigator.js b/src/app/debugger/debuggerUI/ButtonNavigator.js
index fb20442d43..d804e9336b 100644
--- a/src/app/debugger/debuggerUI/ButtonNavigator.js
+++ b/src/app/debugger/debuggerUI/ButtonNavigator.js
@@ -46,7 +46,6 @@ function ButtonNavigator () {
   this.jumpNextBreakpointDisabled = true
   this.jumpPreviousBreakpointDisabled = true
 
-  this.revertionPoint = null
   this.view
 }