VFS: fix GCC compilation error

diff --git a/servers/vfs/device.c b/servers/vfs/device.c
index 53ba6a203fd7bca531a44956c4f941c18b2cd818..0d7d5da96fa65dcf12c5cffa8bc84a3723b07629 100644 (file)
--- a/servers/vfs/device.c
+++ b/servers/vfs/device.c
@@ -1119,8 +1119,8 @@ int maj;
                if (r == OK)
                        return;
 
-               printf("VFS: file on dev %d/%d re-open failed: %d; "
-                       "invalidated %d fd's.\n", major_dev, minor_dev, r, n);
+               printf("VFS: file on dev %d/%d re-open failed: %d\n",
+                       major_dev, minor_dev, r);
        }
 
        /* File descriptor is to be closed when driver restarts. */