fixing json

SMT-COMP · Jun 4, 2024 · 8aa9915 · 8aa9915
1 parent 80d237d
commit 8aa9915
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/yicesQS.json b/submissions/yicesQS.json
@@ -7,7 +7,7 @@
         "Stéphane Graham-Lengrand <[email protected]>"
     ],
     "archive": {
-        "url": "https://www.csl.sri.com/users/sgl/yicesQS.zip",
+        "url": "https://www.csl.sri.com/users/sgl/yicesQS.zip"
     },
     "website": "https://github.com/disteph/yicesQS",
     "system_description": "https://www.csl.sri.com/users/sgl/Work/Reports/2024-yicesQS.pdf",