diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index b5b7a9ccf6a..9b29c9bb622 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -71,7 +71,7 @@ option
  • Map-Like Containers (std::map, DenseMap, etc)