Index: src/CodeGen/CodeGenerator.cpp
===================================================================
--- src/CodeGen/CodeGenerator.cpp	(revision 69ab896b1b8be1526e572697e23555f39cfbd80b)
+++ src/CodeGen/CodeGenerator.cpp	(revision c7ebbec0b2465582b53d918f1a2b2c24f69f7ef1)
@@ -102,8 +102,5 @@
 
 std::string CodeGenerator::mangleName( ast::DeclWithType const * decl ) {
-	// GCC builtins should always be printed unmangled.
-	if ( options.pretty || decl->linkage.is_gcc_builtin ) {
-		return decl->name;
-	} else if ( decl->linkage.is_mangled && decl->mangleName != "" ) {
+	if ( !options.pretty && decl->linkage.is_mangled && decl->mangleName != "" ) {
 		return decl->scopedMangleName();
 	} else {