Merge pull request #235 from epfl-lara/sam/update_princess_2

samuelchassot · web-flow · commit 608bad16b74a · 2025-04-23T14:09:41.000+02:00
update princess, follownig eldarica
diff --git a/build.sbt b/build.sbt
@@ -41,7 +41,7 @@ libraryDependencies ++= Seq(
   "org.scalatest" %% "scalatest" % "3.2.9" % "test;it",
   "org.apache.commons" % "commons-lang3" % "3.4",
   ("uuverifiers" %% "eldarica" % "nightly-SNAPSHOT").cross(CrossVersion.for3Use2_13),
-  ("uuverifiers" %% "princess" % "2024-11-08").cross(CrossVersion.for3Use2_13),
+  ("uuverifiers" %% "princess" % "2025-04-01").cross(CrossVersion.for3Use2_13),
   "org.scala-lang.modules" %% "scala-parser-combinators" % "2.3.0"
 )
 

Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@ libraryDependencies ++= Seq(`
`41`	`41`	`"org.scalatest" %% "scalatest" % "3.2.9" % "test;it",`
`42`	`42`	`"org.apache.commons" % "commons-lang3" % "3.4",`
`43`	`43`	`("uuverifiers" %% "eldarica" % "nightly-SNAPSHOT").cross(CrossVersion.for3Use2_13),`
`44`		`- ("uuverifiers" %% "princess" % "2024-11-08").cross(CrossVersion.for3Use2_13),`
	`44`	`+ ("uuverifiers" %% "princess" % "2025-04-01").cross(CrossVersion.for3Use2_13),`
`45`	`45`	`"org.scala-lang.modules" %% "scala-parser-combinators" % "2.3.0"`
`46`	`46`	`)`
`47`	`47`