Fix typo

diff --git a/servers/pfs/main.c b/servers/pfs/main.c
index f57220da34da7c56f5b77542331e8fe4db90eb8c..0040006cee1c3b99c52401b312456c3bd9d54c78 100644 (file)
--- a/servers/pfs/main.c
+++ b/servers/pfs/main.c
@@ -46,7 +46,7 @@ PUBLIC int main(int argc, char *argv[])
        ind = req_nr - VFS_BASE;
 
        if (ind < 0 || ind >= NREQS) {
-               printf("mfs: bad request %d\n", req_nr); 
+               printf("pfs: bad request %d\n", req_nr); 
                printf("ind = %d\n", ind);
                error = EINVAL; 
        } else {