File tree 2 files changed +4
-8
lines changed
2 files changed +4
-8
lines changed Original file line number Diff line number Diff line change 1
1
---
2
- refs/heads/master: b184be07e1b8b05163ecfe0b084c6cf56382d411
2
+ refs/heads/master: facc5f8826ffe25cbdfa3496e71e30e00261f3a4
Original file line number Diff line number Diff line change @@ -1236,7 +1236,7 @@ let fn_prologue
1236
1236
(nabi :nabi )
1237
1237
(grow_task_fixup :fixup )
1238
1238
(is_obj_fn :bool )
1239
- (minimal :bool )
1239
+ (_ (* minimal*) :bool )
1240
1240
: unit =
1241
1241
1242
1242
let esi_n = word_n (h esi) in
@@ -1373,12 +1373,8 @@ let fn_prologue
1373
1373
in
1374
1374
1375
1375
(* "Full" frame size-check. *)
1376
- match dynamic_grow_jmp with
1377
- None when minimal -> ()
1378
- | _ ->
1379
- stack_growth_check e nabi grow_task_fixup
1380
- dynamic_frame_sz dynamic_grow_jmp restart_pc (h esi) (h edi);
1381
-
1376
+ stack_growth_check e nabi grow_task_fixup
1377
+ dynamic_frame_sz dynamic_grow_jmp restart_pc (h esi) (h edi);
1382
1378
1383
1379
(* Establish a frame, wherever we landed. *)
1384
1380
sub (rc esp) dynamic_frame_sz;
You can’t perform that action at this time.
0 commit comments