--- Gnu-Mach/ddb/db_write_cmd.c	2020/09/02 04:43:14	1.1.1.2
+++ Gnu-Mach/ddb/db_write_cmd.c	2020/09/02 04:45:46	1.1.1.3
@@ -28,7 +28,6 @@
  *	Date:	7/90
  */
 
-#include "mach_kdb.h"
 #if MACH_KDB
 
 #include <mach/boolean.h>
@@ -40,6 +39,8 @@
 #include <ddb/db_lex.h>
 #include <ddb/db_access.h>
 #include <ddb/db_command.h>
+#include <ddb/db_expr.h>
+#include <ddb/db_output.h>
 #include <ddb/db_sym.h>
 #include <ddb/db_task_thread.h>