[issue1144] Ensure string parameters are listed as string in the docu…

…mentation.

Previously, string parameters showed up as std::cxx11::basic_string<char>.

src/search/plugins/types.cc

@@ -291,16 +291,16 @@ EmptyListType TypeRegistry::EMPTY_LIST_TYPE;
 BasicType TypeRegistry::NO_TYPE = BasicType(typeid(void), "<no type>");
 
 TypeRegistry::TypeRegistry() {
-    insert_basic_type<bool>();
-    insert_basic_type<string>();
-    insert_basic_type<int>();
-    insert_basic_type<double>();
+    insert_basic_type<bool>("bool");
+    insert_basic_type<string>("string");
+    insert_basic_type<int>("int");
+    insert_basic_type<double>("double");
 }
 
 template<typename T>
-void TypeRegistry::insert_basic_type() {
+void TypeRegistry::insert_basic_type(const string &name) {
     type_index type = typeid(T);
-    registered_types[type] = utils::make_unique_ptr<BasicType>(type, utils::get_type_name<T>());
+    registered_types[type] = utils::make_unique_ptr<BasicType>(type, name);
 }
 
 const FeatureType &TypeRegistry::create_feature_type(const CategoryPlugin &plugin) {

src/search/plugins/types.h

@@ -162,7 +162,7 @@ class TypeRegistry {
     std::unordered_map<const Type *, std::unique_ptr<ListType>,
                        SemanticHash, SemanticEqual> registered_list_types;
     template<typename T>
-    void insert_basic_type();
+    void insert_basic_type(const std::string &name);
     const Type &get_nonlist_type(std::type_index type) const;
 public:
     static BasicType NO_TYPE;