X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Fvlog-modules.def;h=f68e9d8219370aa12494cd31e49a826c1f8016aa;hb=84ee7bcfdeed0abe9306e6375934b224b527f1d3;hp=b33daf620d83b72b58ca7b0e1ce88085c2680f27;hpb=d3a8012b60ecb89b0a65f14b128b5a7d7ca1a2a5;p=openvswitch

diff --git a/lib/vlog-modules.def b/lib/vlog-modules.def
index b33daf62..f68e9d82 100644
--- a/lib/vlog-modules.def
+++ b/lib/vlog-modules.def
@@ -32,7 +32,6 @@ VLOG_MODULE(dpif)
 VLOG_MODULE(dpif_linux)
 VLOG_MODULE(dpif_netdev)
 VLOG_MODULE(dpctl)
-VLOG_MODULE(executer)
 VLOG_MODULE(ezio_term)
 VLOG_MODULE(fail_open)
 VLOG_MODULE(fatal_signal)