Merge pull request #11000 from gasche/translattribute-fix

fix a minor regression from #10462
ocaml · Feb 10, 2022 · c8c51a7 · c8c51a7
2 parents 6aa8b02 + ea7af37
commit c8c51a7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lambda/translattribute.ml b/lambda/translattribute.ml
@@ -245,6 +245,7 @@ let add_inline_attribute expr loc attributes =
             (Warnings.Duplicated_attribute "inline")
       end;
       let attr = { attr with inline } in
+      check_local_inline loc attr;
       check_poll_inline loc attr;
       Lfunction { funct with attr = attr }
   | expr, (Always_inline | Hint_inline | Never_inline | Unroll _) ->