remove variant of type2name without namespace

Author: Daniel Kroening

src/ansi-c/c_typecheck_type.cpp

@@ -766,7 +766,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);
+    std::string typestr = type2name(compound_symbol.type, *this);
     compound_symbol.base_name="#anon-"+typestr;
     compound_symbol.name="tag-#anon#"+typestr;
     identifier=compound_symbol.name;

src/ansi-c/type2name.cpp

@@ -281,9 +281,3 @@ std::string type2name(const typet &type, const namespacet &ns)
   symbol_numbert symbol_number;
   return type2name(type, ns, symbol_number);
 }
-
-std::string type2name(const typet &type)
-{
-  symbol_tablet symbol_table;
-  return type2name(type, namespacet(symbol_table));
-}

src/ansi-c/type2name.h

@@ -18,7 +18,6 @@ Author: Daniel Kroening, [email protected]
 
 class namespacet;
 
-std::string type2name(const typet &type);
 std::string type2name(const typet &type, const namespacet &ns);
 
 #endif // CPROVER_ANSI_C_TYPE2NAME_H