From 3689c7f5cea4b0b48ab1c96ff6346f0a475b7a62 Mon Sep 17 00:00:00 2001
From: rsc <rsc>
Date: Fri, 8 Sep 2006 15:31:18 +0000
Subject: [PATCH] unnecessary struct jmpbuf

---
 defs.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/defs.h b/defs.h
index cac3ace..31a3d75 100644
--- a/defs.h
+++ b/defs.h
@@ -12,7 +12,6 @@ void kbd_intr(void);
 // proc.c
 void pinit(void);
 struct proc;
-struct jmpbuf;
 void setupsegs(struct proc*);
 struct proc* copyproc(struct proc*);
 struct spinlock;