diff options
Diffstat (limited to 'llvm/docs/ProgrammersManual.html')
| -rw-r--r-- | llvm/docs/ProgrammersManual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/docs/ProgrammersManual.html b/llvm/docs/ProgrammersManual.html index 40013b2d77d..e3f2a7a9095 100644 --- a/llvm/docs/ProgrammersManual.html +++ b/llvm/docs/ProgrammersManual.html @@ -2286,7 +2286,7 @@ block but not delete it, you can use the <tt>removeFromParent()</tt> method.</p> permits use of two very useful replace functions: <tt>ReplaceInstWithValue</tt> and <tt>ReplaceInstWithInst</tt>.</p> -<h4><a name="schanges_deleting">Deleting <tt>Instruction</tt>s</a></h4> +<h5><a name="schanges_deleting">Deleting <tt>Instruction</tt>s</a></h5> <ul> <li><tt>ReplaceInstWithValue</tt> |
