Skip to content

Commit 0745377

Browse files
committed
fix use min_commit_id_length as len
1 parent 99807cb commit 0745377

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/lib/mina_lib/mina_lib.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1307,7 +1307,7 @@ let shorten_commit_id commit_id =
13071307
if String.length commit_id < min_commit_id_length then commit_id
13081308
else
13091309
(* Take the first 8 characters of the commit ID *)
1310-
String.sub ~pos:0 ~len commit_id
1310+
String.sub ~pos:0 ~len:min_commit_id_length commit_id
13111311

13121312
let start t =
13131313
let commit_id_short = shorten_commit_id t.commit_id in

0 commit comments

Comments
 (0)