From 25bba4f6ade5a376c3498c403d0c7a8a1ca537b7 Mon Sep 17 00:00:00 2001
From: Mark Murray <markm@FreeBSD.org>
Date: Thu, 3 May 2001 11:49:44 +0000
Subject: [PATCH] Depollute headers now that the VM headers DTRT.

---
 bin/ps/keyword.c | 1 -
 bin/ps/print.c   | 1 -
 bin/ps/ps.c      | 1 -
 3 files changed, 3 deletions(-)

diff --git a/bin/ps/keyword.c b/bin/ps/keyword.c
index 1749c284691..a3d00662ed6 100644
--- a/bin/ps/keyword.c
+++ b/bin/ps/keyword.c
@@ -42,7 +42,6 @@ static const char rcsid[] =
 
 #include <sys/param.h>
 #include <sys/time.h>
-#include <sys/lock.h>
 #include <sys/resource.h>
 #include <sys/proc.h>
 #include <sys/sysctl.h>
diff --git a/bin/ps/print.c b/bin/ps/print.c
index 8762700ac6a..f73c3f06d09 100644
--- a/bin/ps/print.c
+++ b/bin/ps/print.c
@@ -40,7 +40,6 @@ static const char rcsid[] =
 #endif /* not lint */
 
 #include <sys/param.h>
-#include <sys/lock.h>
 #include <sys/time.h>
 #include <sys/resource.h>
 #include <sys/proc.h>
diff --git a/bin/ps/ps.c b/bin/ps/ps.c
index 7613a57e40d..628ca377c7d 100644
--- a/bin/ps/ps.c
+++ b/bin/ps/ps.c
@@ -46,7 +46,6 @@ static const char rcsid[] =
 #endif /* not lint */
 
 #include <sys/param.h>
-#include <sys/lock.h>
 #include <sys/user.h>
 #include <sys/time.h>
 #include <sys/resource.h>