X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ofproto%2Fpktbuf.c;h=14781c11d3c979e23508e039bfe9da365fcdbc26;hb=7f7ae89d2477e14b11c1355668366030fc590c64;hp=aa90295427b91808bfbdbe29a22dfc09aa1784f0;hpb=68efcbec41b0acfd8bb7579a5d38afd71b6daf7c;p=openvswitch

diff --git a/ofproto/pktbuf.c b/ofproto/pktbuf.c
index aa902954..14781c11 100644
--- a/ofproto/pktbuf.c
+++ b/ofproto/pktbuf.c
@@ -26,7 +26,7 @@
 #include "vconn.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(pktbuf)
+VLOG_DEFINE_THIS_MODULE(pktbuf);
 
 /* Buffers are identified by a 32-bit opaque ID.  We divide the ID
  * into a buffer number (low bits) and a cookie (high bits).  The buffer number