diff --git a/tmp.psoa2tptp/tptp-parser/pom.xml b/tmp.psoa2tptp/tptp-parser/pom.xml index e9734095..bd65626d 100644 --- a/tmp.psoa2tptp/tptp-parser/pom.xml +++ b/tmp.psoa2tptp/tptp-parser/pom.xml @@ -58,7 +58,7 @@ junit junit - 3.8.1 + 4.13.1 test