From 9c768a05cb86690c785988cfb2ad3255b8c3e6c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= <arpl@cs.stanford.edu>
Date: Mon, 9 Dec 2024 11:49:56 -0800
Subject: [PATCH] Enum formatting

---
 smt/available_solvers.cpp | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/smt/available_solvers.cpp b/smt/available_solvers.cpp
index 31825601..792d5bd3 100644
--- a/smt/available_solvers.cpp
+++ b/smt/available_solvers.cpp
@@ -52,18 +52,16 @@ namespace pono {
 
 // list of regular (non-interpolator) solver enums
 const std::vector<SolverEnum> solver_enums({
-  BZLA, CVC5,
-
+    BZLA,
+    CVC5,
 #if WITH_BOOLECTOR
-      BTOR,
+    BTOR,
 #endif
-
 #if WITH_MSAT
-      MSAT,
+    MSAT,
 #endif
-
 #if WITH_YICES2
-      YICES2,
+    YICES2,
 #endif
 });
 
@@ -252,7 +250,7 @@ SmtSolver create_interpolating_solver_for(SolverEnum se, Engine e)
 
 const std::vector<SolverEnum> itp_enums({
 #if WITH_MSAT
-  MSAT_INTERPOLATOR
+    MSAT_INTERPOLATOR
 #endif
 });