Fix comma

SMT-COMP · May 14, 2024 · 60b4db6 · 60b4db6
1 parent 4436f50
commit 60b4db6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json
@@ -15,7 +15,7 @@
     "participations": [
         {
             "tracks": ["SingleQuery"],
-            "logics": "QF_.*FP.*",
+            "logics": "QF_.*FP.*"
         },
     ]
 }