1 files changed, 1 insertions, 0 deletions
diff --git a/debugger.h b/debugger.h
index 845bf69..2705f92 100644
--- a/debugger.h
+++ b/debugger.h
@@ -68,6 +68,7 @@ extern int dbg_wait(struct thread *th, int recursion);
 
 extern int dbg_intr(struct thread *th);
 extern int dbg_cont(struct thread *th, int cont);
+extern int dbg_realcont(struct thread *th);
 extern int dbg_step(struct thread *th, int stepover);
 extern int dbg_pets(struct thread *th);