From 77cd69b220b0c0f916ea98c810fb761e03d335ea Mon Sep 17 00:00:00 2001
From: mpi <mpi@openbsd.org>
Date: Wed, 14 Feb 2018 08:55:35 +0000
Subject: [PATCH] kern_mutex.c is gone.

---
 sys/conf/files | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/sys/conf/files b/sys/conf/files
index d8cc6a02a6b..4c66fca2802 100644
--- a/sys/conf/files
+++ b/sys/conf/files
@@ -1,4 +1,4 @@
-#	$OpenBSD: files,v 1.658 2018/02/07 01:09:57 dlg Exp $
+#	$OpenBSD: files,v 1.659 2018/02/14 08:55:35 mpi Exp $
 #	$NetBSD: files,v 1.87 1996/05/19 17:17:50 jonathan Exp $
 
 #	@(#)files.newconf	7.5 (Berkeley) 5/10/93
@@ -671,7 +671,6 @@ file kern/kern_kthread.c
 file kern/kern_ktrace.c			ktrace
 file kern/kern_lock.c
 file kern/kern_malloc.c
-file kern/kern_mutex.c			witness
 file kern/kern_rwlock.c
 file kern/kern_physio.c
 file kern/kern_proc.c
-- 
2.20.1