X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ovsdb%2Flog.c;h=c0be5f5d6372f1ee08287c186b84cc8fef651566;hb=c18ea70d06e980dc768166881c5aeac0b3491561;hp=b532f7c0a6cd7bf5406a252ac2aa962b947d6d1e;hpb=5136ce492c414f377f7be9ae32b259abb9f76580;p=openvswitch

diff --git a/ovsdb/log.c b/ovsdb/log.c
index b532f7c0..c0be5f5d 100644
--- a/ovsdb/log.c
+++ b/ovsdb/log.c
@@ -35,7 +35,7 @@
 #include "util.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(ovsdb_log)
+VLOG_DEFINE_THIS_MODULE(ovsdb_log);
 
 enum ovsdb_log_mode {
     OVSDB_LOG_READ,