header files moved around a bit

[unix-history] / usr / src / usr.bin / gcore / gcore.c

diff --git a/usr/src/usr.bin/gcore/gcore.c b/usr/src/usr.bin/gcore/gcore.c
index 9b892a3..ef78e53 100644 (file)
--- a/usr/src/usr.bin/gcore/gcore.c
+++ b/usr/src/usr.bin/gcore/gcore.c
@@ -1,6 +1,6 @@
 /* Copyright (c) 1982 Regents of the University of California */
 
 /* Copyright (c) 1982 Regents of the University of California */
 

-static char sccsid[] = "@(#)gcore.c    4.1     (Berkeley)      %G%";
+static char sccsid[] = "@(#)gcore.c    4.2     (Berkeley)      %G%";

 
 /*
  * gcore - get core images of running processes
 
 /*
  * gcore - get core images of running processes


@@ -25,7 +25,7 @@ static char sccsid[] = "@(#)gcore.c   4.1     (Berkeley)      %G%";
 #include <sys/dir.h>
 #include <sys/user.h>
 #include <sys/proc.h>
 #include <sys/dir.h>
 #include <sys/user.h>
 #include <sys/proc.h>

-#include <sys/pte.h>
+#include <machine/pte.h>

 #include <sys/vm.h>
 #include <setjmp.h>
 
 #include <sys/vm.h>
 #include <setjmp.h>