minor format

SMT-COMP · Jun 13, 2024 · 7943cd3 · 7943cd3
1 parent 7660d8d
commit 7943cd3
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/submissions/yices2.json b/submissions/yices2.json
@@ -51,11 +51,11 @@
                        "UF"],
             "command": ["./yices_smt2"]
         },
-	{
-	    "tracks": ["SingleQuery"],
+        {
+            "tracks": ["SingleQuery"],
             "logics": ["QF_BV"],
-	    "command": ["./yices_smt2", "--delegate=kissat"]
-	},
+            "command": ["./yices_smt2", "--delegate=kissat"]
+        },
         {
             "tracks": ["Incremental"],
             "logics": ["QF_ABV",