Remove -language:implicitConversions flag

runtimeverification · Feb 28, 2024 · 6d6d72b · 6d6d72b
1 parent ca06dd2
commit 6d6d72b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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>