X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=lib%2Fdpif-linux.c;h=8216d18709933294c4f17b87ffed80402ad5b6fc;hb=3f355f47f8e7343e909ccfa854454d667baf3c38;hp=e6b46d4c6c50d6e0a9f2e3827ea2768ff4054a10;hpb=57aaff8a99d28067f0c9daf9594d54e9b3aaf95c;p=openvswitch

diff --git a/lib/dpif-linux.c b/lib/dpif-linux.c
index e6b46d4c..8216d187 100644
--- a/lib/dpif-linux.c
+++ b/lib/dpif-linux.c
@@ -569,7 +569,7 @@ make_openvswitch_device(int minor, char **fnp)
                          fn);
         } else if (s.st_rdev != dev) {
             VLOG_WARN_RL(&error_rl,
-                         "%s is device %u:%u instead of %u:%u, fixing",
+                         "%s is device %u:%u but should be %u:%u, fixing",
                          fn, major(s.st_rdev), minor(s.st_rdev),
                          major(dev), minor(dev));
         } else {