Skip to content

Commit

Permalink
proper indentation
Browse files Browse the repository at this point in the history
  • Loading branch information
PizieDust committed Feb 21, 2024
1 parent fc81302 commit 09afddc
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions src/analysis/jump.ml
Original file line number Diff line number Diff line change
Expand Up @@ -147,11 +147,11 @@ let find_case_pos cases pos direction =
pos.Lexing.pos_cnum > pat_loc.loc_start.pos_cnum
| Next ->
pos.Lexing.pos_cnum < pat_loc.loc_start.pos_cnum
in
if check then
Some pat_loc.loc_start
else
find_pos pos tail direction
in
if check then
Some pat_loc.loc_start
else
find_pos pos tail direction
in
let case = find_pos pos cases direction in
match case with
Expand Down

0 comments on commit 09afddc

Please sign in to comment.