@@ -5144,11 +5144,11 @@ if (WizardMode) { const char* buf = NULL; { ResourceMark rm; stringStream ss; - ss.print("DelayedValue="INTPTR_FORMAT, delayed_value_addr[1]); + ss.print("DelayedValue=" INTPTR_FORMAT, delayed_value_addr[1]); buf = code_string(ss.as_string()); } jcc(Assembler::notZero, L); STOP(buf); } else {