From 9ec366cf884311ebc0f1691f36a42cb3dbbd881a Mon Sep 17 00:00:00 2001
From: Max Schaefer <max@semmle.com>
Date: Fri, 10 May 2019 08:27:25 +0100
Subject: [PATCH] JavaScript: Move support for optional catch to ES2019.

---
 javascript/extractor/src/com/semmle/jcorn/ESNextParser.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/javascript/extractor/src/com/semmle/jcorn/ESNextParser.java b/javascript/extractor/src/com/semmle/jcorn/ESNextParser.java
index ca1a748bf07..93295a519db 100644
--- a/javascript/extractor/src/com/semmle/jcorn/ESNextParser.java
+++ b/javascript/extractor/src/com/semmle/jcorn/ESNextParser.java
@@ -385,7 +385,7 @@ public class ESNextParser extends JSXParser {
       param = this.parseBindingAtom();
       this.checkLVal(param, true, null);
       this.expect(TokenType.parenR);
-    } else if (!options.esnext()) {
+    } else if (options.ecmaVersion() < 10) {
       this.unexpected();
     }
     BlockStatement catchBody = this.parseBlock(false);