From 4478dffc542febe4481d0de1e5557dabafa7d03a Mon Sep 17 00:00:00 2001
From: Zengjian Hu <zengjian.hu@relational.ai>
Date: Sun, 24 Sep 2023 18:10:54 -0700
Subject: [PATCH] format

---
 src/SolverAPI.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/SolverAPI.jl b/src/SolverAPI.jl
index 35bd50c..956e9d1 100644
--- a/src/SolverAPI.jl
+++ b/src/SolverAPI.jl
@@ -181,8 +181,8 @@ function solve(fn, json::Request, solver::MOI.AbstractOptimizer)
 
     # TODO (dba) `SolverAPI.jl` should be decoupled from any solver specific code.
     solver_info = Dict{Symbol,Any}()
-    solver_name = lowercase(get(json.options, :solver, "highs")) 
-    if solver_name in ["minizinc","csp2sat"]
+    solver_name = lowercase(get(json.options, :solver, "highs"))
+    if solver_name in ["minizinc", "csp2sat"]
         T = Int
         solver_info[:use_indicator] = false
     else