Making fixes for Microsoft Visual C++ compiler.

[splint.git] / src / message.c

diff --git a/src/message.c b/src/message.c
index 1c9c2313fe57965954a5e50e2177653e1ed6c653..55129890f9a665e46f8170952097d2c0003412a3 100644 (file)
--- a/src/message.c
+++ b/src/message.c
@@ -246,8 +246,10 @@ message (/*@temp@*/ char *fmt, ...)
              ret = mstring_concatFree (ret, GETPRINTF ("%.2lf", va_arg (pvar, double)));
              break;
            case XBOOL:
-             ret = mstring_concatFree1 (ret, cstring_toCharsSafe 
-                                   (bool_unparse (va_arg (pvar, bool))));
+             ret = mstring_concatFree1 
+               (ret, cstring_toCharsSafe 
+                (bool_unparse (bool_fromInt ((va_arg (pvar, int)))))); 
+             /* va_arg should not use bool type */
              break;
            case XUENTRY:
              ret = mstring_concatFree (ret, cstring_toCharsSafe