Index: src/GenPoly/InstantiateGeneric.cpp
===================================================================
--- src/GenPoly/InstantiateGeneric.cpp	(revision 594671a1445f75decb2b5c2bf2d9818dcab289fe)
+++ src/GenPoly/InstantiateGeneric.cpp	(revision 8c2723ffac38d8c820debbce31f1eacb6f7eb6ef)
@@ -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;
 }