From 00d1d294ed90e002a9c7a185b98890b87fa35f7b Mon Sep 17 00:00:00 2001
From: Olivier Gagnon <oli.gagnon4418@gmail.com>
Date: Sun, 20 Mar 2022 22:14:32 -0400
Subject: [PATCH] fix lint errors

---
 src/ScriptEditor/NetscriptDefinitions.d.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ScriptEditor/NetscriptDefinitions.d.ts b/src/ScriptEditor/NetscriptDefinitions.d.ts
index d564639ef..dec9cdf33 100644
--- a/src/ScriptEditor/NetscriptDefinitions.d.ts
+++ b/src/ScriptEditor/NetscriptDefinitions.d.ts
@@ -6667,7 +6667,7 @@ export interface Corporation extends WarehouseAPI, OfficeAPI {
   sellShares(amount: number): void;
   /**
    * Get bonus time.
-   * 
+   *
    * “Bonus time” is accumulated when the game is offline or if the game is inactive in the browser.
    *
    * “Bonus time” makes the game progress faster.
@@ -6675,7 +6675,7 @@ export interface Corporation extends WarehouseAPI, OfficeAPI {
    * @returns Bonus time for the Corporation mechanic in milliseconds.
    */
    getBonusTime(): number;
-  
+
 }
 
 /**