X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcoverage.c;h=40af3acdede9416e4cf6aa347220a3f562ebd7a8;hb=ec61a01cd8ed73b13ffe042ddff4baf41f6b63e7;hp=6e65810e8ad482910c95c010c5a8aedcbd9f5704;hpb=5136ce492c414f377f7be9ae32b259abb9f76580;p=openvswitch

diff --git a/lib/coverage.c b/lib/coverage.c
index 6e65810e..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;
 
@@ -123,7 +123,7 @@ coverage_log_counter(enum vlog_level level, const struct coverage_counter *c)
 }
 
 /* Logs the coverage counters at the given vlog 'level'.  If
- * 'suppress_dups' is true, then duplicate events are not displayed. 
+ * 'suppress_dups' is true, then duplicate events are not displayed.
  * Care should be taken in the value used for 'level'.  Depending on the
  * configuration, syslog can write changes synchronously, which can
  * cause the coverage messages to take several seconds to write. */