diff options
| -rw-r--r-- | docs/Bugpoint.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Bugpoint.html b/docs/Bugpoint.html index 2c0cb77..71f288d 100644 --- a/docs/Bugpoint.html +++ b/docs/Bugpoint.html @@ -21,7 +21,7 @@ <li><a href="#miscompilationdebug">Miscompilation debugger</a></li> </ul></li> <li><a href="#advice">Advice for using <tt>bugpoint</tt></a></li> - <li><a href="notEnough">What to do when <tt>bugpoint</tt> isn't enough</a></li> + <li><a href="#notEnough">What to do when <tt>bugpoint</tt> isn't enough</a></li> </ul> <div class="doc_author"> |