diff --git a/mlir/docs/LangRef.md b/mlir/docs/LangRef.md index 23f09ef0b60045..a876d7ee7b1888 100644 --- a/mlir/docs/LangRef.md +++ b/mlir/docs/LangRef.md @@ -203,7 +203,7 @@ bare-id-list ::= bare-id (`,` bare-id)* value-id ::= `%` suffix-id suffix-id ::= (digit+ | ((letter|id-punct) (letter|id-punct|digit)*)) -symbol-ref-id ::= `@` (suffix-id | string-literal) +symbol-ref-id ::= `@` (suffix-id | string-literal) (`::` symbol-ref-id)? value-id-list ::= value-id (`,` value-id)* // Uses of value, e.g. in an operand list to an operation.