diff options
Diffstat (limited to 'docs/TableGenFundamentals.html')
| -rw-r--r-- | docs/TableGenFundamentals.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/TableGenFundamentals.html b/docs/TableGenFundamentals.html index 45baf19845..b401c7a49f 100644 --- a/docs/TableGenFundamentals.html +++ b/docs/TableGenFundamentals.html @@ -420,7 +420,7 @@ which case the user must specify it explicitly.</dd> <dt><tt>str1#str2</tt></dt> <dd>"#" (paste) is a shorthand for !strconcat. It may concatenate things that are not quoted strings, in which case an implicit - !cast<string> is done on the operand of the paste.</dd> + !cast<string> is done on the operand of the paste.</dd> <dt><tt>!cast<type>(a)</tt></dt> <dd>A symbol of type <em>type</em> obtained by looking up the string 'a' in the symbol table. If the type of 'a' does not match <em>type</em>, TableGen |