X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=vswitchd%2Fxenserver.c;h=eed798f4155075bb9d44e0971bb52c762b256b81;hb=6e037e3ca6381fa36fdf6009c4ccc97d0f041be4;hp=976d7162cfdba673b101541db636859333b046b2;hpb=5136ce492c414f377f7be9ae32b259abb9f76580;p=openvswitch

diff --git a/vswitchd/xenserver.c b/vswitchd/xenserver.c
index 976d7162..eed798f4 100644
--- a/vswitchd/xenserver.c
+++ b/vswitchd/xenserver.c
@@ -24,7 +24,7 @@
 #include "process.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(xenserver)
+VLOG_DEFINE_THIS_MODULE(xenserver);
 
 static char *
 read_host_uuid(void)