X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Flockfile.c;h=f056502de81e7cc0cc29725c00a6c90af861f77d;hb=52ce26ee3b13496f65132996120e59ec29ab64c2;hp=690caf9f210826ceb16fb0b6a551acf8e62e61ed;hpb=4e8e4213a815a30216e855a805a8bcd5b8c5a886;p=openvswitch

diff --git a/lib/lockfile.c b/lib/lockfile.c
index 690caf9f..f056502d 100644
--- a/lib/lockfile.c
+++ b/lib/lockfile.c
@@ -31,7 +31,7 @@
 #include "util.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(lockfile)
+VLOG_DEFINE_THIS_MODULE(lockfile);
 
 struct lockfile {
     struct hmap_node hmap_node;