diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html
index c4fedbf5d7b..b5b7a9ccf6a 100644
--- a/docs/ProgrammersManual.html
+++ b/docs/ProgrammersManual.html
@@ -2122,11 +2122,6 @@ name.
have both a name and a type which are extracted and used to place the value
in the correct type plane under the value's name.
- void insert(const std::string& Name, Value *Val):
- Inserts a constant or type into the symbol table with the specified
- name. There can be a many to one mapping between names and constants
- or types.
-
void remove(Value* Val):
This method removes a named value from the symbol table. The
type and name of the Value are extracted from \p N and used to
@@ -2134,20 +2129,6 @@ name.
not in the symbol table, this method silently ignores the
request.
- Value* remove(const std::string& Name, Value *Val):
- Remove a constant or type with the specified name from the
- symbol table.
-
- Value *remove(const value_iterator& It):
- Removes a specific value from the symbol table.
- Returns the removed value.
-
- bool strip():
- This method will strip the symbol table of its names leaving
- the type and values.
-
- void clear():
- Empty the symbol table completely.
Iteration