typo in list of projects

neu-se · Jan 24, 2022 · dd74a08 · dd74a08
1 parent c8d55e1
commit dd74a08
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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",