diff options
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/x86.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml index 267dc657..182096ed 100644 --- a/src/boot/be/x86.ml +++ b/src/boot/be/x86.ml @@ -1245,8 +1245,9 @@ let fn_prologue sub (rc esp) dynamic_frame_sz; (* Zero the frame. - * - * FIXME: this is awful, will go away when we have proper CFI. + * + * FIXME (ssue 27): this is awful, will go away when we have proper + * CFI. *) mov (rc edi) (ro esp); |