diff --git a/gdb/gdbserver/ChangeLog b/gdb/gdbserver/ChangeLog
index a860f5217b..c190ed7ffd 100644
--- a/gdb/gdbserver/ChangeLog
+++ b/gdb/gdbserver/ChangeLog
@@ -1,3 +1,7 @@
+2010-04-12  Pedro Alves  <pedro@codesourcery.com>
+
+	* server.h (buffer_xml_printf): Remove redundant `;'.
+
 2010-04-12  Pedro Alves  <pedro@codesourcery.com>
 
 	* regcache.c (set_register_cache): Invalidate regcaches before
diff --git a/gdb/gdbserver/server.h b/gdb/gdbserver/server.h
index e90e088b64..572a3c9633 100644
--- a/gdb/gdbserver/server.h
+++ b/gdb/gdbserver/server.h
@@ -444,7 +444,7 @@ char* buffer_finish (struct buffer *buffer);
 /* Simple printf to BUFFER function.  Current implemented formatters:
    %s - grow an xml escaped text in OBSTACK.  */
 void buffer_xml_printf (struct buffer *buffer, const char *format, ...)
-  ATTR_FORMAT (printf, 2, 3);;
+  ATTR_FORMAT (printf, 2, 3);
 
 #define buffer_grow_str(BUFFER,STRING)         \
   buffer_grow (BUFFER, STRING, strlen (STRING))