X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcfg.c;h=d0170b60e720fd00f5e78721c60c1b8c00fe644a;hb=da0603cf278a9f505dc2988602ec0071c771dd2e;hp=225827ef5d226936191c600f6b488d8e3182261a;hpb=590ab3cc649ca3ecc56e6c5057e7e4e24874a625;p=openvswitch

diff --git a/lib/cfg.c b/lib/cfg.c
index 225827ef..d0170b60 100644
--- a/lib/cfg.c
+++ b/lib/cfg.c
@@ -136,7 +136,7 @@ cfg_set_file(const char *file_name)
     slash = strrchr(file_name, '/');
     if (slash) {
         lock_name = xasprintf("%.*s/.%s.~lock~",
-                              slash - file_name, file_name, slash + 1);
+                              (int) (slash - file_name), file_name, slash + 1);
     } else {
         lock_name = xasprintf(".%s.~lock~", file_name);
     }