Index: src/GenPoly/InstantiateGeneric.cpp
===================================================================
--- src/GenPoly/InstantiateGeneric.cpp	(revision e48aca8ae51f025285f95f19f58f543a0bfdec0b)
+++ src/GenPoly/InstantiateGeneric.cpp	(revision 06ffa958c2cbd678e3ccc85025b02513968da3d4)
@@ -674,5 +674,5 @@
 // Pretty printing can cause this to become incorrect.
 std::string getPrintName( ast::DeclWithType const * decl ) {
-	return ( decl->linkage.is_mangled )
+	return ( decl->linkage.is_mangled && decl->mangleName != "" )
 		? decl->scopedMangleName() : decl->name;
 }