From dd74a0835a9438a64e00ec39ad7db2253b03f4d3 Mon Sep 17 00:00:00 2001 From: James Kukucka Date: Mon, 24 Jan 2022 10:56:51 -0500 Subject: [PATCH] typo in list of projects --- scripts/unique.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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",