X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Fvlog-modules.def;h=d1c16a6ec8d7eab273506f1638e9a851e8448a3c;hb=5e4641a147c3e450a56b199b9066f1af75c2f779;hp=c9f6676841a21bb7e44b0e3273e2b9025dc87ef6;hpb=9467fe624698a9b72f81bb1ddfce33a5fc85281c;p=openvswitch

diff --git a/lib/vlog-modules.def b/lib/vlog-modules.def
index c9f66768..d1c16a6e 100644
--- a/lib/vlog-modules.def
+++ b/lib/vlog-modules.def
@@ -35,7 +35,6 @@ VLOG_MODULE(dpctl)
 VLOG_MODULE(ezio_term)
 VLOG_MODULE(fail_open)
 VLOG_MODULE(fatal_signal)
-VLOG_MODULE(fault)
 VLOG_MODULE(flow)
 VLOG_MODULE(in_band)
 VLOG_MODULE(jsonrpc)