Skip to content

Commit ff4ac91

Browse files
committed
Fix indentation (PR #1773)
1 parent 498424f commit ff4ac91

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/cdomains/affineEquality/sparseImplementation/listMatrix.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -315,7 +315,7 @@ module ListMatrix: SparseMatrixFunctor =
315315
| (row_idx, piv_col, row) :: ps when piv_col = col_idx -> ((row_idx, piv_col, row, value) :: res, ps)
316316
| _ -> (res, pivs_tail)
317317
) ([], pivot_positions) (V.to_sparse_list v)
318-
in
318+
in
319319
let v_after_elim = List.fold_left (fun acc (row_idx, pivot_position, piv_row, v_at_piv) ->
320320
sub_scaled_row acc piv_row v_at_piv
321321
) v filtered_pivots in

0 commit comments

Comments
 (0)