From fc8c8fbda1b61eca3eb562e2aa0836f37792e650 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Tue, 17 May 2022 13:51:19 +0200
Subject: [PATCH] fix linting

---
 libs/remix-ui/editor/src/lib/web-types.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libs/remix-ui/editor/src/lib/web-types.ts b/libs/remix-ui/editor/src/lib/web-types.ts
index b3ceb0249c..1c82788d30 100644
--- a/libs/remix-ui/editor/src/lib/web-types.ts
+++ b/libs/remix-ui/editor/src/lib/web-types.ts
@@ -215,7 +215,7 @@ export const loadTypes = async (monaco) => {
     const indexWeb3Util = await import('raw-loader!web3-utils/types/index.d.ts')
     monaco.languages.typescript.typescriptDefaults.addExtraLib(indexWeb3Util.default, `file:///node_modules/@types/web3-utils/index.d.ts`)
     // remix
-    let indexRemixApi = remixTypes + `\n
+    const indexRemixApi = remixTypes + `\n
     declare global {
         const remix: PluginClient;
         const web3Provider;