#ifndef list
static char sccsid[] = "@(#)prnt_over.c 9.2 88/01/19 Copyright 1987 Sun Micro";
#endif

/*
 * Copyright (c) 1987 by Sun Microsystems, Inc.
 */

/*-

	override printf to use psio

	prnt_over.c, Mon Nov 2 11:05:05 1987

 */

#ifdef REF
#include <sys/types.h>
#include <ref/config.h>
#endif
#include "psio.h"
#include <varargs.h>

printf(fmt, va_alist)
	char	*fmt;
	va_dcl
{
	if (psio_stdout == 0)
		psio_stdout = psio_fdopen(1, "w");
	psio_doprnt(psio_stdout, fmt, &va_alist);
}