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