From: Philip Homburg <philip@cs.vu.nl>
Date: Fri, 22 Feb 2008 14:54:00 +0000 (+0000)
Subject: Use dev_t instead of Dev_t in structures.
X-Git-Tag: v3.1.4~263
X-Git-Url: http://zhaoyanbai.com/repos/icons/debian/static/verify-sign/dig.html?a=commitdiff_plain;h=9df94c5ee8c76005406297e52ad66689ed49c6e6;p=minix.git

Use dev_t instead of Dev_t in structures.
---

diff --git a/servers/vfs/vnode.h b/servers/vfs/vnode.h
index 02d4472e5..b53dd5ae5 100644
--- a/servers/vfs/vnode.h
+++ b/servers/vfs/vnode.h
@@ -19,7 +19,7 @@ EXTERN struct vnode {
   dev_t v_dev;                  /* device number on which the corresponding 
                                    inode resides */
   
-  Dev_t v_sdev;                 /* device number for special files */
+  dev_t v_sdev;                 /* device number for special files */
   unsigned short v_index;       /* inode's index in the FS inode table */
   struct vmnt *v_vmnt;          /* vmnt object of the partition */