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