diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 9ba37aabb2a..04f0c4f4864 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -1662,8 +1662,6 @@ ConstantArray etc for representing the various types of Constants.