From c2b1c1f1181e0d1dc27fea35ea8a748707706dde Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juraj=20S=C3=AD=C4=8D?= <juraj.sic@outlook.com>
Date: Wed, 22 May 2024 14:43:44 +0200
Subject: [PATCH] fix trailing commas

---
 submissions/z3-noodler.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/submissions/z3-noodler.json b/submissions/z3-noodler.json
index 21a59b6a..c94a85cf 100644
--- a/submissions/z3-noodler.json
+++ b/submissions/z3-noodler.json
@@ -5,17 +5,17 @@
         "Juraj Síč",
         "David Chocholatý",
         "Lukáš Holík",
-        "Ondřej Lengál",
+        "Ondřej Lengál"
     ],
     "contacts": ["Lukáš Holík <holik@fit.vutbr.cz>"],
     "archive": {
-        "url": "https://github.com/VeriFIT/z3-noodler/blob/devel/docker/z3-noodler.Dockerfile",
+        "url": "https://github.com/VeriFIT/z3-noodler/blob/devel/docker/z3-noodler.Dockerfile"
     },
     "website": "https://github.com/VeriFIT/z3-noodler",
     "system_description": "https://github.com/VeriFIT/z3-noodler/blob/devel/doc/noodler/z3-noodler-system-description-2024.pdf",
     "command": ["z3 smt.string_solver=noodler"],
     "solver_type": "derived",
     "participations": [
-        { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] },
+        { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] }
     ]
 }