File tree Expand file tree Collapse file tree 2 files changed +3
-2
lines changed
Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -399,7 +399,8 @@ let rec build (names, inames) { eq_desc = desc } =
399399 block_with_bounded (names, inames) b in
400400 let esc_names, esc_inames =
401401 List. fold_left escape (names, inames) esc_list in
402- S. union names (if is_weak then S. diff esc_names bounded else esc_names),
402+ S. union names
403+ (if is_weak then S. diff esc_names bounded else esc_names),
403404 S. union inames
404405 (if is_weak then S. diff esc_inames bounded else esc_inames)
405406 in
Original file line number Diff line number Diff line change 1- (env (dev (flags (:standard -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60-68-70 -warn-error -a+31))))
1+ (env (dev (flags (:standard -w +a-4-6-7-9-26- 27-29-32..42-44-45-48-50-60-68-70 -warn-error -a+31))))
You can’t perform that action at this time.
0 commit comments