X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/112c85fd5ba63bbf83526cdadfc7751b2cf74311..4caf866b3d452c738cb276e805e48e4f1ccd2eba:/src/message.c

diff --git a/src/message.c b/src/message.c
index 1c9c231..5512989 100644
--- 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