diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 4415a873406..5588144801c 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -697,7 +697,7 @@ which is much cleaner, especially if you're creating a lot of instructions and adding them to BasicBlocks.
- +