X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fvlog.c;h=377aaa65ab8b938726d6d01ca1559934529e383f;hb=78f3f3164021402d7dbca495d1f3f48d81d9a353;hp=173f21760004f1f6112d08c045f7d87cbbc19971;hpb=d295e8e97acae13552a5b220d3fbcff8201064a2;p=openvswitch

diff --git a/lib/vlog.c b/lib/vlog.c
index 173f2176..377aaa65 100644
--- a/lib/vlog.c
+++ b/lib/vlog.c
@@ -33,7 +33,7 @@
 #include "unixctl.h"
 #include "util.h"
 
-VLOG_DEFINE_THIS_MODULE(vlog)
+VLOG_DEFINE_THIS_MODULE(vlog);
 
 /* Name for each logging level. */
 static const char *level_names[VLL_N_LEVELS] = {