1 files changed, 1 insertions, 3 deletions
diff --git a/ddb/db_trap.c b/ddb/db_trap.c
index 8f59a36..d2abfbd 100644
--- a/ddb/db_trap.c
+++ b/ddb/db_trap.c
@@ -43,13 +43,11 @@
 #include <ddb/db_output.h>
 #include <ddb/db_task_thread.h>
 #include <ddb/db_trap.h>
+#include <ddb/db_run.h>
 
 
 extern jmp_buf_t *db_recover;
 
-extern void		db_restart_at_pc();
-extern boolean_t	db_stop_at_pc();
-
 extern int		db_inst_count;
 extern int		db_load_count;
 extern int		db_store_count;