aboutsummaryrefslogtreecommitdiff
path: root/pom.xml
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-06-07 20:03:39 +0100
committerMichael Williamson <mike@zwobble.org>2023-06-07 20:03:39 +0100
commit244cc7ad6855696891cd8c72bfedb68c91fd1aaa (patch)
treebe447af55270b4a24bff3d685a1694dbeba0d9c6 /pom.xml
parent8258a15b00687f6d619722ba04843e5f0aaebe73 (diff)
Add parser for minimal functions
Diffstat (limited to 'pom.xml')
-rw-r--r--pom.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/pom.xml b/pom.xml
index 50fbcce8..6c828772 100644
--- a/pom.xml
+++ b/pom.xml
@@ -55,7 +55,7 @@
<dependency>
<groupId>com.github.mwilliamson</groupId>
<artifactId>java-precisely</artifactId>
- <version>2af34017ed172b6ff00415efe1d42bd2f0d0a73d</version>
+ <version>6fd766ca0f5b073fa3cc3dfba015c867729273ec</version>
<scope>test</scope>
</dependency>
</dependencies>