diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/LangRef.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 71f9c11..38bcb02 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2682,7 +2682,7 @@ results are undefined. <h5>Syntax:</h5> <pre> - <result> = insertelement <n x <ty>> <val>, <ty> <elt>, i32 <idx> <i>; yields <n x <ty>></i> + <result> = insertelement <n x <ty>> <val>, <ty> <elt>, i32 <idx> <i>; yields <n x <ty>></i> </pre> <h5>Overview:</h5> |