X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcoverage.c;h=6e65810e8ad482910c95c010c5a8aedcbd9f5704;hb=abfec865566e6cce961cc8660de1ddfdc85dae5f;hp=5c99c18ade24b4f77630bb60618abf6ad4ad0d6f;hpb=02dd3123a0e312f1d33403e744af52dd6096f12d;p=openvswitch

diff --git a/lib/coverage.c b/lib/coverage.c
index 5c99c18a..6e65810e 100644
--- a/lib/coverage.c
+++ b/lib/coverage.c
@@ -23,10 +23,10 @@
 #include "hash.h"
 #include "unixctl.h"
 #include "util.h"
-
-#define THIS_MODULE VLM_coverage
 #include "vlog.h"
 
+VLOG_DEFINE_THIS_MODULE(coverage)
+
 static unsigned int epoch;
 
 static void