diff options
Diffstat (limited to 'docs/ProgrammersManual.html')
| -rw-r--r-- | docs/ProgrammersManual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 40013b2d77..e3f2a7a909 100644 --- a/docs/ProgrammersManual.html +++ b/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> |