newest version of Princess

uuverifiers · Mar 7, 2024 · 5dd2e10 · 5dd2e10
1 parent 24d7ad3
commit 5dd2e10
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/build.sbt b/build.sbt
@@ -82,10 +82,10 @@ lazy val root = (project in file(".")).
     mainClass in Compile := Some("ostrich.OstrichMain"),
     unmanagedSourceDirectories in Test += baseDirectory.value / "replaceall-benchmarks" / "src" / "test" / "scala",
 //
-//    resolvers             += "uuverifiers" at "https://eldarica.org/maven/",
+    resolvers             += "uuverifiers" at "https://eldarica.org/maven/",
 //
-//    libraryDependencies   += "uuverifiers" %% "princess" % "nightly-SNAPSHOT",
-    libraryDependencies   += "io.github.uuverifiers" %% "princess" % "2024-01-12",
+    libraryDependencies   += "uuverifiers" %% "princess" % "nightly-SNAPSHOT",
+//    libraryDependencies   += "io.github.uuverifiers" %% "princess" % "2024-01-12",
   //  libraryDependencies   += "uuverifiers" % "ecma2020-regex-parser" % "0.5",
     libraryDependencies   += "org.sat4j" % "org.sat4j.core" % "2.3.1",
     libraryDependencies   += "org.scalacheck" %% "scalacheck" % "1.14.0" % "test",