diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b6eddb5a7a0..4c2a710bc1c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2001-04-08  Philip Blundell  <philb@gnu.org>
+
+	* config/arm/arm.h (ASM_OUTPUT_LABELREF): Use asm_fprintf.
+
 2001-04-08  Neil Booth  <neil@daikokuya.demon.co.uk>
 
 	* cpperror.c (print_location): Don't special case <stdin>.
diff --git a/gcc/config/arm/arm.h b/gcc/config/arm/arm.h
index 3332c220a67..438719385fe 100644
--- a/gcc/config/arm/arm.h
+++ b/gcc/config/arm/arm.h
@@ -1929,7 +1929,7 @@ typedef struct
    `assemble_name' uses this.  */
 #undef  ASM_OUTPUT_LABELREF
 #define ASM_OUTPUT_LABELREF(FILE, NAME)		\
-  fprintf (FILE, "%s%s", USER_LABEL_PREFIX, arm_strip_name_encoding (NAME))
+  asm_fprintf (FILE, "%U%s", arm_strip_name_encoding (NAME))
 
 /* If we are referencing a function that is weak then encode a long call
    flag in the function name, otherwise if the function is static or