File tree Expand file tree Collapse file tree 3 files changed +9
-2
lines changed Expand file tree Collapse file tree 3 files changed +9
-2
lines changed Original file line number Diff line number Diff line change @@ -162,8 +162,7 @@ let lstrip strings =
162162 let hpad = Misc. hpad_of_lines strings in
163163 List. map
164164 (fun string ->
165- let min a b = if a < b then a else b in
166- let first = min (Misc. hpad_of_lines [ string ]) hpad in
165+ let first = Util.Int. min (Misc. hpad_of_lines [ string ]) hpad in
167166 Astring.String. with_index_range string ~first )
168167 strings
169168
Original file line number Diff line number Diff line change @@ -116,3 +116,7 @@ module Process = struct
116116 let wait ~pid =
117117 match snd (Unix. waitpid [] pid) with WEXITED n -> n | _ -> 255
118118end
119+
120+ module Int = struct
121+ let min a b = if a < b then a else b
122+ end
Original file line number Diff line number Diff line change @@ -77,3 +77,7 @@ module Process : sig
7777 Exit code is the same as the child process if it exits normally, or 255
7878 otherwise. *)
7979end
80+
81+ module Int : sig
82+ val min : int -> int -> int
83+ end
You can’t perform that action at this time.
0 commit comments