get rid of unneeded header files
authorKirk McKusick <mckusick@ucbvax.Berkeley.EDU>
Wed, 22 Jul 1987 04:07:28 +0000 (20:07 -0800)
committerKirk McKusick <mckusick@ucbvax.Berkeley.EDU>
Wed, 22 Jul 1987 04:07:28 +0000 (20:07 -0800)
commit0d9b9f94d858f52400414cbb42784ea4224c0e87
tree0b36a589dfa82f85839d9ed660bd269d72fefa19
parent36e21f76704981d284fe5cf5b6141e43a31f37a5
get rid of unneeded header files

SCCS-vsn: sys/kern/kern_synch.c 7.5
usr/src/sys/kern/kern_synch.c