From 1403dbb2f58d26990352681e9f770d47c2bb445e Mon Sep 17 00:00:00 2001
From: David Lechner <david@pybricks.com>
Date: Wed, 1 Jun 2022 13:27:32 -0500
Subject: [PATCH] fix codeql recommendations

https://github.com/pybricks/pybricks-code/pull/823/checks?check_run_id=6695406302
---
 src/editor/lib.ts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/editor/lib.ts b/src/editor/lib.ts
index c78f68ac..a2568887 100644
--- a/src/editor/lib.ts
+++ b/src/editor/lib.ts
@@ -71,7 +71,7 @@ export class ActiveFileHistoryManager {
             }
         } catch (err) {
             // istanbul ignore next: not a critical error
-            console.error(`failed to get ${this.storageKey}:`, err);
+            console.error(`failed to get ${this.storageKey}: ${err}`);
         }
     }
 
@@ -93,7 +93,7 @@ export class ActiveFileHistoryManager {
             sessionStorage.setItem(this.storageKey, JSON.stringify(this.history));
         } catch (err) {
             // istanbul ignore next: not a critical failure
-            console.error(`failed to store ${this.storageKey}:`, err);
+            console.error(`failed to store ${this.storageKey}: ${err}`);
         }
     }
 
@@ -121,7 +121,7 @@ export class ActiveFileHistoryManager {
             sessionStorage.setItem(this.storageKey, JSON.stringify(this.history));
         } catch (err) {
             // istanbul ignore next: not a critical failure
-            console.error(`failed to store ${this.storageKey}:`, err);
+            console.error(`failed to store ${this.storageKey}: ${err}`);
         }
 
         return wasActiveFile ? this.history.at(-1) : undefined;