X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fvlog-modules.def;h=dac8162580cda8e3305251b89d957c992a4e8503;hb=78876719e0eaf181a6775417ad41ec5852efa863;hp=e3a0ebd23de15deabe0cbecf6230d18afdf98a6e;hpb=80af01eda87eaaf16369642d2733e561b3d56b71;p=openvswitch

diff --git a/lib/vlog-modules.def b/lib/vlog-modules.def
index e3a0ebd2..dac81625 100644
--- a/lib/vlog-modules.def
+++ b/lib/vlog-modules.def
@@ -84,6 +84,7 @@ VLOG_MODULE(tty)
 VLOG_MODULE(socket_util)
 VLOG_MODULE(switchui)
 VLOG_MODULE(unixctl)
+VLOG_MODULE(util)
 VLOG_MODULE(vconn_tcp)
 VLOG_MODULE(vconn_ssl)
 VLOG_MODULE(vconn_stream)