#include <stdio.h>
#include <stdarg.h>
#include <stdlib.h>

extern const char *__progname;

#include "ui.h"

#include "fatal.h"

void fatal(const char *fmt, ...)
{
 va_list ap;
 char *s;

 va_start(ap,fmt);
 vasprintf(&s,fmt,ap);
 va_end(ap);
 ui_abort();
 fprintf(stderr,"%s: %s\n",__progname,s);
 exit(1);
}