diff --git a/scripts/unique.py b/scripts/unique.py index 2f94f04..d7feb3a 100755 --- a/scripts/unique.py +++ b/scripts/unique.py @@ -18,7 +18,7 @@ "bcelgen-knarr-z3", "bcelgen-jqf", "bcelgen-knarr-z3-no-global-hint", - "closure-knarr-z3" + "closure-knarr-z3", "closure-jqf", "closure-knarr-z3-no-global-hint", "maven-knarr-z3",