diff --git a/util/graph/pom.xml b/util/graph/pom.xml index 9e15ced7..13dade01 100644 --- a/util/graph/pom.xml +++ b/util/graph/pom.xml @@ -20,7 +20,7 @@ org.jgrapht jgrapht-core - 1.5.1 + 1.5.2 org.jgrapht