fixing json

SMT-COMP · Jun 5, 2024 · 1394225 · 1394225
1 parent d3caf09
commit 1394225
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/yicesQS.json b/submissions/yicesQS.json
@@ -19,7 +19,7 @@
                        "LIA",
                        "LRA",
                        "NIA",
-                       "NRA",
+                       "NRA"
                        ],
             "command": ["./starexec_run_default"]
         }