/* $Id: debug.c,v 1.1 2003/02/09 22:59:05 wafer Exp $ */

/* shell.c */

#include "debug.h"
#include <stdio.h>

void amb_debug (const char *who, const char *args) 
{
     fprintf(stderr, "%s: ", who);
     fprintf(stderr, args);
     fprintf(stderr, "\n");
}