fixed tabbing in gs_solver.cc