#ifndef lint
static char *sccsid = "@(#)print.c	1.1 (Steve Hill) 3/9/90";
#endif

/* PRINT.C
 *
 * General printing tools.
 */

#include <stdio.h>

#include "basetype.h"
#include "print.h"

/* PrintIndent
 *
 * Print a string to a file, indented by 4 * indent spaces.
 */

void
PrintIndent(FilePtr, indent, string)
FILE	*FilePtr;
int	indent;
char	*string;
{
	int	i;

	for (i = 0; i < indent; i++)
		fputs("    ", FilePtr);

	fputs(string, FilePtr);
}