From aa332a8eaf280a76e7c1a866a9714ddc3b4aed7b Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 25 Aug 2021 13:39:56 +0200
Subject: [PATCH] linting

---
 apps/remix-ide/src/app/files/fileManager.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/apps/remix-ide/src/app/files/fileManager.js b/apps/remix-ide/src/app/files/fileManager.js
index ac9191b1b5..a378c46cb6 100644
--- a/apps/remix-ide/src/app/files/fileManager.js
+++ b/apps/remix-ide/src/app/files/fileManager.js
@@ -599,8 +599,7 @@ class FileManager extends Plugin {
       this.events.emit('noFileSelected')
     } else {
       this.saveCurrentFile()
-      let resolved
-      resolved = this.getPathFromUrl(file)
+      const resolved = this.getPathFromUrl(file)
       file = resolved.file
       const provider = resolved.provider
       this._deps.config.set('currentFile', file)