diff --git a/util/graph/pom.xml b/util/graph/pom.xml index 13dade01..b02ea3c9 100644 --- a/util/graph/pom.xml +++ b/util/graph/pom.xml @@ -25,7 +25,7 @@ org.jgrapht jgrapht-ext - 1.5.1 + 1.5.2