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

diff --git a/vswitchd/xenserver.c b/vswitchd/xenserver.c
index 976d7162..1f29daf2 100644
--- a/vswitchd/xenserver.c
+++ b/vswitchd/xenserver.c
@@ -1,4 +1,4 @@
-/* Copyright (c) 2009, 2010 Nicira Networks
+/* Copyright (c) 2009, 2010 Nicira, Inc.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -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)