X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fsocket-util.c;h=573e28f1aca75bde9d80138a2451b814d303a936;hb=f9bfea1402fb4776e505eba7bb712c8355e01e70;hp=961e00b4a19b23a4a77e09ca335db11deaccebfc;hpb=d295e8e97acae13552a5b220d3fbcff8201064a2;p=openvswitch

diff --git a/lib/socket-util.c b/lib/socket-util.c
index 961e00b4..573e28f1 100644
--- a/lib/socket-util.c
+++ b/lib/socket-util.c
@@ -34,7 +34,7 @@
 #include "util.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(socket_util)
+VLOG_DEFINE_THIS_MODULE(socket_util);
 
 /* Sets 'fd' to non-blocking mode.  Returns 0 if successful, otherwise a
  * positive errno value. */