diff options
| author | Garrett Wollman <wollman@FreeBSD.org> | 1996-01-04 21:13:23 +0000 |
|---|---|---|
| committer | Garrett Wollman <wollman@FreeBSD.org> | 1996-01-04 21:13:23 +0000 |
| commit | 0e41ee3037a553b4cd7673887fe31fb51150d3be (patch) | |
| tree | 334713baaeaaaca13f522ab35fdd0c97996ced19 /sys/kern/subr_prf.c | |
| parent | 22482bab926bdbbad415e5211d6a60948ca9dff0 (diff) | |
Notes
Diffstat (limited to 'sys/kern/subr_prf.c')
| -rw-r--r-- | sys/kern/subr_prf.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sys/kern/subr_prf.c b/sys/kern/subr_prf.c index 83e6f09c2ece..79802ec3746a 100644 --- a/sys/kern/subr_prf.c +++ b/sys/kern/subr_prf.c @@ -36,9 +36,11 @@ * SUCH DAMAGE. * * @(#)subr_prf.c 8.3 (Berkeley) 1/21/94 - * $Id: subr_prf.c,v 1.18 1995/08/24 12:54:11 davidg Exp $ + * $Id: subr_prf.c,v 1.19 1995/12/14 08:31:41 phk Exp $ */ +#include "opt_ddb.h" + #include <sys/param.h> #include <sys/systm.h> #include <sys/reboot.h> |