Merge pull request #11000 from gasche/translattribute-fix

fix a minor regression from #10462 (cherry picked from commit c8c51a7)
ocaml · Feb 10, 2022 · a108b07 · a108b07
1 parent f46f3ee
commit a108b07
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 _) ->