From dcf8c6c1f3df14d116bb6ee4ff8f14b32bf69b87 Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Fri, 26 Jun 2020 09:26:41 +0100
Subject: [PATCH] Add workaround for
 https://github.com/espruino/Espruino/issues/1868 since 2v06 firmware has the
 issue

---
 lib/espruinotools.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/espruinotools.js b/lib/espruinotools.js
index 0e8df02cb..245035ce7 100644
--- a/lib/espruinotools.js
+++ b/lib/espruinotools.js
@@ -6605,6 +6605,8 @@ To add a new serial device, you must add an object to
       var tokenString = code.substring(tok.startIdx, tok.endIdx);
       var tokenId = LEX_OPERATOR_START + TOKENS.indexOf(tokenString);
       if (tokenId<LEX_OPERATOR_START) tokenId=undefined;
+      // Workaround for https://github.com/espruino/Espruino/issues/1868
+      if (tokenString=="catch") tokenId=undefined;
       //console.log("prev "+JSON.stringify(previousString)+"   next "+tokenString);
 
       if (tok.str=="(" || tok.str=="{" || tok.str=="[") brackets++;