Make #anon symbols have consistent naming between base_name and name

Author: chrisr-diffblue

src/ansi-c/c_typecheck_type.cpp

@@ -769,7 +769,7 @@ void c_typecheck_baset::typecheck_compound_type(struct_union_typet &type)
     typecheck_compound_body(to_struct_union_type(compound_symbol.type));
 
     std::string typestr = type2name(compound_symbol.type, *this);
-    compound_symbol.base_name="#anon-"+typestr;
+    compound_symbol.base_name = "#anon#" + typestr;
     compound_symbol.name="tag-#anon#"+typestr;
     identifier=compound_symbol.name;