diff options
Diffstat (limited to 'asmcomp/flambda_to_clambda.ml')
-rw-r--r-- | asmcomp/flambda_to_clambda.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/asmcomp/flambda_to_clambda.ml b/asmcomp/flambda_to_clambda.ml index dcecaaecdc..0e91d8e353 100644 --- a/asmcomp/flambda_to_clambda.ml +++ b/asmcomp/flambda_to_clambda.ml @@ -14,6 +14,8 @@ (* *) (**************************************************************************) +[@@@ocaml.warning "+a-4-9-30-40-41-42"] + type for_one_or_more_units = { fun_offset_table : int Closure_id.Map.t; fv_offset_table : int Var_within_closure.Map.t; |