Skip to content

Commit 8347e2a

Browse files
committed
format
1 parent 9c7d6eb commit 8347e2a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

typing/jkind.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1268,7 +1268,7 @@ module Jkind_desc = struct
12681268
let upper_bounds =
12691269
List.fold_right
12701270
(fun ty bounds ->
1271-
Bounds.add_baggage ~deep_only:false ~baggage:ty bounds)
1271+
Bounds.add_baggage ~deep_only:false ~baggage:ty bounds)
12721272
tys
12731273
(Bounds.min |> Bounds.disallow_right)
12741274
in

0 commit comments

Comments
 (0)