hotspot/src/share/vm/utilities/xmlstream.cpp
changeset 5402 c51fd0c1d005
parent 768 d0bebc7eefc2
child 5547 f4b087cbb361
--- a/hotspot/src/share/vm/utilities/xmlstream.cpp	Tue Apr 27 18:13:47 2010 -0700
+++ b/hotspot/src/share/vm/utilities/xmlstream.cpp	Sun Oct 11 16:19:25 2009 -0700
@@ -328,7 +328,7 @@
 // ------------------------------------------------------------------
 void xmlStream::va_done(const char* format, va_list ap) {
   char buffer[200];
-  guarantee(strlen(format) + 10 < sizeof(buffer), "bigger format buffer")
+  guarantee(strlen(format) + 10 < sizeof(buffer), "bigger format buffer");
   const char* kind = format;
   const char* kind_end = strchr(kind, ' ');
   size_t kind_len = (kind_end != NULL) ? (kind_end - kind) : strlen(kind);