bump to scala 3.7.2

samuelchassot · samuelchassot · commit a2bd65684482 · 2025-09-01T11:36:00.000+02:00
diff --git a/build.sbt b/build.sbt
@@ -6,7 +6,7 @@ git.useGitDescribe := true
 
 organization := "ch.epfl.lara"
 
-val inoxScalaVersion = "3.5.2"
+val inoxScalaVersion = "3.7.2"
 scalaVersion := inoxScalaVersion
 
 scalacOptions ++= Seq(
