summaryrefslogtreecommitdiff
path: root/asmcomp/split.ml
diff options
context:
space:
mode:
authorSadiq Jaffer <sadiq@toao.com>2021-11-09 09:56:29 +0000
committerGitHub <noreply@github.com>2021-11-09 09:56:29 +0000
commitedf0075888ec27a50c4f50f76dba46f730797651 (patch)
tree9a390449277ad0e28c26953c306cd72714f1f39d /asmcomp/split.ml
parent45a803110e9b0d137146e260b99fd13f770f43c1 (diff)
downloadocaml-edf0075888ec27a50c4f50f76dba46f730797651.tar.gz
Add [@poll error] attribute (#10462)
Diffstat (limited to 'asmcomp/split.ml')
-rw-r--r--asmcomp/split.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/split.ml b/asmcomp/split.ml
index 55fe38c349..0da5d8225a 100644
--- a/asmcomp/split.ml
+++ b/asmcomp/split.ml
@@ -218,6 +218,7 @@ let fundecl f =
fun_args = new_args;
fun_body = new_body;
fun_codegen_options = f.fun_codegen_options;
+ fun_poll = f.fun_poll;
fun_dbg = f.fun_dbg;
fun_num_stack_slots = f.fun_num_stack_slots;
fun_contains_calls = f.fun_contains_calls;