diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-08-09 17:16:44 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-08-09 17:16:44 +0000 |
commit | 4b8644ef26011e3ebf4740a0630a8c5dd4916d43 (patch) | |
tree | 907b24eaef97acf18530908ae7152bcaeb944f79 | |
parent | 5463b0937e6756043c10af6019d503480d948a3f (diff) |
Formerly pfinet.h.~2~
-rw-r--r-- | pfinet/pfinet.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pfinet/pfinet.h b/pfinet/pfinet.h index d2e2a606..15274f31 100644 --- a/pfinet/pfinet.h +++ b/pfinet/pfinet.h @@ -18,4 +18,6 @@ along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111, USA. */ -device_t master_device; +#include <device/device.h> + +extern device_t master_device; |