From 7837ca2ff1a72b2751d22a2c883098b2d065819d Mon Sep 17 00:00:00 2001
From: Joseph Izang <josephizang@gmail.com>
Date: Wed, 5 Jul 2023 23:14:39 +0100
Subject: [PATCH] update static analyzer type

---
 libs/remix-ui/static-analyser/src/staticanalyser.d.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libs/remix-ui/static-analyser/src/staticanalyser.d.ts b/libs/remix-ui/static-analyser/src/staticanalyser.d.ts
index af5de925ce..91ab488009 100644
--- a/libs/remix-ui/static-analyser/src/staticanalyser.d.ts
+++ b/libs/remix-ui/static-analyser/src/staticanalyser.d.ts
@@ -12,6 +12,9 @@ export declare class AnalysisTab extends ViewPlugin {
     column: number;
     line: number;
   }[]
+  basicEnabled: boolean;
+  solhintEnabled: boolean;
+  slitherEnabled: boolean;
   internalCount: number
   registry: Registry;
   element: HTMLDivElement;