X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcoverage.c;h=40af3acdede9416e4cf6aa347220a3f562ebd7a8;hb=8050b31d6;hp=8a9d0ea69f5243cfb1839d64218ce30adff93153;hpb=d295e8e97acae13552a5b220d3fbcff8201064a2;p=openvswitch

diff --git a/lib/coverage.c b/lib/coverage.c
index 8a9d0ea6..40af3acd 100644
--- a/lib/coverage.c
+++ b/lib/coverage.c
@@ -25,7 +25,7 @@
 #include "util.h"
 #include "vlog.h"
 
-VLOG_DEFINE_THIS_MODULE(coverage)
+VLOG_DEFINE_THIS_MODULE(coverage);
 
 static unsigned int epoch;