diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 3628aa935ca..5cfd0ea56c7 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -114,8 +114,9 @@ with another Value

Written by Chris Lattner, - Dinakar Dhurjati, and - Joel Stanley

+ Dinakar Dhurjati, + Joel Stanley, and + Reid Spencer