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

diff --git a/src/usymtab_interface.c b/src/usymtab_interface.c
index f55a388..a8ac125 100644
--- a/src/usymtab_interface.c
+++ b/src/usymtab_interface.c
@@ -1012,8 +1012,8 @@ doDeclareType (typeNode t, bool priv)
 	case TK_UNION:
 	default:
 	  {
-	    llfatalbug (message ("declareType ERROR: unknown kind: %q",
-				 cstring_fromCharsO (FormatInt ((int)t->kind))));
+	    llfatalbug (message ("declareType: unknown kind: %d",
+				 (int) t->kind));
 	  }
 	}
     }