From 6d6d72be454a7d5f3a2f66157dd796b4b54d4b33 Mon Sep 17 00:00:00 2001
From: Scott Guest <scott.guest@runtimeverification.com>
Date: Tue, 27 Feb 2024 21:09:17 -0500
Subject: [PATCH] Remove -language:implicitConversions flag

---
 kore/pom.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/kore/pom.xml b/kore/pom.xml
index 6e431fc0b11..81b049d1dfc 100644
--- a/kore/pom.xml
+++ b/kore/pom.xml
@@ -76,7 +76,6 @@
             <arg>-Werror</arg>
             <arg>-feature</arg>
             <arg>-deprecation</arg>
-            <arg>-language:implicitConversions</arg>
           </args>
         </configuration>
       </plugin>