Update annotations version

2022-05-10 00:10:19 +02:00 · 2022-05-10 00:10:19 +02:00 · 776c32daba
parent 2cedd28564
commit 776c32daba
1 changed files with 2 additions and 1 deletions
--- a/pom.xml
+++ b/pom.xml
@ -86,7 +86,8 @@
 		<dependency>
 			<groupId>org.jetbrains</groupId>
 			<artifactId>annotations</artifactId>
-		</dependency>
+      <version>23.0.0</version>
+    </dependency>
 		<dependency>
 			<groupId>it.unimi.dsi</groupId>
 			<artifactId>fastutil</artifactId>