diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 6fc0ec21125..70c4e3154f5 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -1878,14 +1878,6 @@ however, are stored in a single dimension and accessed only by name.

bool isEmpty() const:
This function returns true if both the value and types maps are empty
- -
std::string get_name(const Value*) const:
-
This function returns the name of the Value provided or the empty - string if the Value is not in the symbol table.
- -
std::string get_name(const Type*) const:
-
This function returns the name of the Type provided or the empty - string if the Type is not in the symbol table.

Mutators