diff options
Diffstat (limited to 'lambda/lambda.mli')
| -rw-r--r-- | lambda/lambda.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lambda/lambda.mli b/lambda/lambda.mli index 0e37a9045e..a5b5784d77 100644 --- a/lambda/lambda.mli +++ b/lambda/lambda.mli @@ -206,6 +206,7 @@ type structured_constant = type inline_attribute = | Always_inline (* [@inline] or [@inline always] *) | Never_inline (* [@inline never] *) + | Hint_inline (* [@inline hint] *) | Unroll of int (* [@unroll x] *) | Default_inline (* no [@inline] attribute *) |