(no commit message)

diff --git a/servers/vfs/mount.c b/servers/vfs/mount.c
index 08e4839a269df13962a46cb33c3251bc42a31472..5259d70578b2dfa6ccac55bb8cc04b60d520b480 100644 (file)
--- a/servers/vfs/mount.c
+++ b/servers/vfs/mount.c
@@ -552,7 +552,7 @@ PRIVATE dev_t name_to_dev()
   
   /* Request lookup */
   if ((r = lookup_vp(0 /*flags*/, 0 /*!use_realuid*/, &vp)) != OK) {
-       printf("vfs: name_to_dev: lookup of '%s' failed\n", user_realpath);
+       printf("vfs: name_to_dev: lookup of '%s' failed\n", user_fullpath);
        return NO_DEV;
   }