From 7943cd3d26fa9432e143ee6164b033601e7c1995 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <ahmed.irfan@sri.com>
Date: Thu, 13 Jun 2024 00:49:13 -0700
Subject: [PATCH] minor format

---
 submissions/yices2.json | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/submissions/yices2.json b/submissions/yices2.json
index b7c4f524..7c65cc0f 100644
--- 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",