format

RelationalAI · Sep 25, 2023 · 4478dff · 4478dff
1 parent f2828e6
commit 4478dff
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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