diff --git a/AIG/pom.xml b/AIG/pom.xml index 18006e0..dd7f28d 100644 --- a/AIG/pom.xml +++ b/AIG/pom.xml @@ -51,7 +51,7 @@ junit junit - 4.12 + 4.13.1 test