Merge branch 'master' of https://github.com/protegeproject/protege-di…

…stribution
protegeproject · Mar 14, 2019 · ce66e26 · ce66e26
2 parents ebea8c8 + 09c46b4
commit ce66e26
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -152,7 +152,7 @@
         <dependency>
             <groupId>net.sourceforge.owlapi</groupId>
             <artifactId>org.semanticweb.hermit</artifactId>
-            <version>1.3.8.413</version>
+            <version>1.4.3.456</version>
         </dependency>
 
         <dependency>