X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Futil.c;h=d6e470c92f55f5f041db20bf9ffd84ff46d1e275;hb=c052da844bdf7fc2f87500f76fca529c4e3dc598;hp=4f1b9f758f9f4df566ec50b3ab8d4816c466396c;hpb=bf9712678fc9ec85bf2ac54407e16d76aa22e7b6;p=openvswitch

diff --git a/lib/util.c b/lib/util.c
index 4f1b9f75..d6e470c9 100644
--- a/lib/util.c
+++ b/lib/util.c
@@ -27,6 +27,8 @@
 
 VLOG_DEFINE_THIS_MODULE(util);
 
+COVERAGE_DEFINE(util_xalloc);
+
 const char *program_name;
 
 void