deps: upgrade, also it should trigger CI build with access to 0.0.31 …

…of upstream
aya-prover · Dec 15, 2024 · 66cc6c3 · 66cc6c3
1 parent 2908528
commit 66cc6c3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/cli-impl/src/test/resources/literate/wow.aya.md b/cli-impl/src/test/resources/literate/wow.aya.md
@@ -27,7 +27,7 @@ Consider the following example:
 def test1 {A B : Type 0} {a : A} {b : B} => wow A B a b
 ```
 
-Observe the elaborated term of `test1`: `test1`(show:core mode:full)\
+Observe the elaborated term of `test1`: `test1`(show:"core" mode:"full")\
 Consider another example:
 
 ```aya

diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
@@ -15,7 +15,7 @@ picocli = "4.7.6"
 # https://repo1.maven.org/maven2/org/aya-prover/upstream/build-util/
 aya-upstream = "0.0.31"
 # https://github.com/jline/jline3
-jline = "3.27.1"
+jline = "3.28.0"
 # https://junit.org/junit5
 junit = "5.11.3"
 hamcrest = "2.2"