From e66ecb6c90970f19c81c37251bb66b8a450e1bb4 Mon Sep 17 00:00:00 2001
From: Anuken <arnukren@gmail.com>
Date: Sun, 1 Dec 2019 12:50:11 -0500
Subject: [PATCH] Removed unnecessary option

---
 desktop/src/io/anuke/mindustry/desktop/GraalScripts.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/desktop/src/io/anuke/mindustry/desktop/GraalScripts.java b/desktop/src/io/anuke/mindustry/desktop/GraalScripts.java
index e3c5337a43..842cbbacb9 100644
--- a/desktop/src/io/anuke/mindustry/desktop/GraalScripts.java
+++ b/desktop/src/io/anuke/mindustry/desktop/GraalScripts.java
@@ -26,7 +26,7 @@ public class GraalScripts extends Scripts{
             hb.denyAccess(c);
         }
         builder.allowHostAccess(hb.build());
-        builder.allowExperimentalOptions(true).option("js.syntax-extensions", "true");
+        builder.allowExperimentalOptions(true);
 
         context = builder.build();
         wrapper = Core.files.internal("scripts/wrapper.js").readString();