diff --git a/gas/config/tc-arm.c b/gas/config/tc-arm.c
index 30fd223ec3..3ac19b1724 100644
--- a/gas/config/tc-arm.c
+++ b/gas/config/tc-arm.c
@@ -10896,14 +10896,6 @@ get_thumb32_insn (char * buf)
   return insn;
 }
 
-/* Write a 32-bit thumb instruction to buf.  */
-static void
-put_thumb32_insn (char * buf, unsigned long insn)
-{
-  md_number_to_chars (buf, insn >> 16, THUMB_SIZE);
-  md_number_to_chars (buf + THUMB_SIZE, insn, THUMB_SIZE);
-}
-
 void
 md_apply_fix (fixS *	fixP,
 	       valueT * valP,