Update Scala compiler bridge dependency to 2.13

runtimeverification · Apr 9, 2024 · 087d7cb · 087d7cb
1 parent f0dbb20
commit 087d7cb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/matching/pom.xml b/matching/pom.xml
@@ -82,7 +82,7 @@
     </dependency>
     <dependency>
       <groupId>org.scala-sbt</groupId>
-      <artifactId>compiler-bridge_2.12</artifactId>
+      <artifactId>compiler-bridge_2.13</artifactId>
       <version>1.8.0</version>
     </dependency>
   </dependencies>

diff --git a/nix/llvm-backend-matching.nix b/nix/llvm-backend-matching.nix
@@ -8,12 +8,12 @@ let self = maven.buildMavenPackage rec {
     buildOffline = true;
 
     manualMvnArtifacts = [
-      "org.scala-lang:scala-compiler:2.12.18"
+      "org.scala-lang:scala-compiler:2.13.13"
       "org.apache.maven.plugins:maven-compiler-plugin:3.7.0"
     ];
 
     manualMvnSourceArtifacts = [
-      "org.scala-sbt:compiler-bridge_2.12:1.8.0"
+      "org.scala-sbt:compiler-bridge_2.13:1.8.0"
     ];
 
     passthru = {