New function vfatal which should be used for user messages
to indicate a situation that can legitimately occur but that
we cannot handle today. The function does not return.
git-svn-id: svn://svn.valgrind.org/vex/trunk@3037 8f6e269a-dfd6-0310-a8e1-e2731360e62c
diff --git a/priv/main_util.h b/priv/main_util.h
index 7573a20..85f13a4 100644
--- a/priv/main_util.h
+++ b/priv/main_util.h
@@ -62,6 +62,9 @@
__attribute__ ((__noreturn__))
extern void vpanic ( const HChar* str );
+__attribute__ ((__noreturn__)) __attribute__ ((format (printf, 1, 2)))
+extern void vfatal ( const HChar* format, ... );
+
/* Printing */