diff --git a/tmp.psoa2tptp/PSOA2TPTP-Translator/pom.xml b/tmp.psoa2tptp/PSOA2TPTP-Translator/pom.xml index e488fe52..5050af52 100644 --- a/tmp.psoa2tptp/PSOA2TPTP-Translator/pom.xml +++ b/tmp.psoa2tptp/PSOA2TPTP-Translator/pom.xml @@ -66,7 +66,7 @@ junit junit - 3.8.1 + 4.13.1 test