X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fprocess.c;h=a5f83b46ed6da26505c19f117373698b96aba9c5;hb=a23aab1fc2f66b63ba9b7e4b9c9a8f6d58c367d0;hp=087275b8e7217d21c43f274ce8f38496e5c87add;hpb=4e8e4213a815a30216e855a805a8bcd5b8c5a886;p=openvswitch

diff --git a/lib/process.c b/lib/process.c
index 087275b8..a5f83b46 100644
--- a/lib/process.c
+++ b/lib/process.c
@@ -34,7 +34,7 @@
 #include "util.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(process)
+VLOG_DEFINE_THIS_MODULE(process);
 
 struct process {
     struct list node;