From 09c46b45f71170531f1410c380e44a7c58a87cee Mon Sep 17 00:00:00 2001 From: csnyulas Date: Tue, 22 Jan 2019 17:20:19 -0800 Subject: [PATCH] Closes #828 --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 7d3e551..721157d 100644 --- a/pom.xml +++ b/pom.xml @@ -152,7 +152,7 @@ net.sourceforge.owlapi org.semanticweb.hermit - 1.3.8.413 + 1.4.3.456