diff --git a/psoa2tptp/ruleml-api/pom.xml b/psoa2tptp/ruleml-api/pom.xml index 96834364..d7839dc8 100644 --- a/psoa2tptp/ruleml-api/pom.xml +++ b/psoa2tptp/ruleml-api/pom.xml @@ -62,7 +62,7 @@ junit junit - 3.8.1 + 4.13.1 test