diff options
Diffstat (limited to 'sys/dev/pci/wdt.c')
| -rw-r--r-- | sys/dev/pci/wdt.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sys/dev/pci/wdt.c b/sys/dev/pci/wdt.c index 874864bc18b..df89f4d24c4 100644 --- a/sys/dev/pci/wdt.c +++ b/sys/dev/pci/wdt.c @@ -1,4 +1,4 @@ -/* $OpenBSD: wdt.c,v 1.22 2014/12/10 12:27:57 mikeb Exp $ */ +/* $OpenBSD: wdt.c,v 1.23 2017/09/08 05:36:52 deraadt Exp $ */ /*- * Copyright (c) 1998,1999 Alex Nash @@ -27,7 +27,6 @@ * */ -#include <sys/types.h> #include <sys/param.h> #include <sys/device.h> #include <sys/kernel.h> |