1 files changed, 1 insertions, 1 deletions
diff --git a/proc/mgt.c b/proc/mgt.c
index d572788e..1324da45 100644
--- a/proc/mgt.c
+++ b/proc/mgt.c
@@ -41,7 +41,7 @@
 #include "mutated_ourmsg_U.h"
 #include "proc_exc_S.h"
 #include "proc_exc_U.h"
-#include "task_notify_S.h"
+// XXX #include "task_notify_S.h"
 #include <hurd/signal.h>
 
 /* Create a new id structure with the given genuine uids and gids. */