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