From e38d05e5fd983b839f2331e9f62e40fb34401554 Mon Sep 17 00:00:00 2001
From: Tobias Roeser <le.petit.fou@web.de>
Date: Fri, 3 Nov 2023 08:53:24 +0100
Subject: [PATCH] Update Scala to 2.12.18

---
 polyglot-scala/pom.xml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/polyglot-scala/pom.xml b/polyglot-scala/pom.xml
index 7a3ad7dc..ad37b925 100644
--- a/polyglot-scala/pom.xml
+++ b/polyglot-scala/pom.xml
@@ -20,9 +20,8 @@
   <name>Polyglot :: Scala</name>
   
   <properties>
-    <!-- We cannot use 2.12+, as Maven 3.x requires us to run on Java7 -->
-    <scala.version>2.11.12</scala.version>
-    <scala.bin.version>2.11</scala.bin.version>
+    <scala.version>2.12.18</scala.version>
+    <scala.bin.version>2.12</scala.bin.version>
   </properties>
 
   <contributors>