X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Futil.c;h=39ca3b54b73029bb807a50ff73f0ac11bfd29615;hb=71ce92352cbcb96f179f8ec19dd1e843d91d8828;hp=e8f3adb78a22b23094e4d26561bacbb38c948fcf;hpb=d295e8e97acae13552a5b220d3fbcff8201064a2;p=openvswitch

diff --git a/lib/util.c b/lib/util.c
index e8f3adb7..39ca3b54 100644
--- a/lib/util.c
+++ b/lib/util.c
@@ -25,7 +25,7 @@
 #include "coverage.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(util)
+VLOG_DEFINE_THIS_MODULE(util);
 
 const char *program_name;