/* error.c */
/* Copyright 1992 by P.J. LaBrocca */
#include "mixed.h"
#include <stdio.h>
mixed_t mix_error(char *s)
{
mixed_t t;
fprintf(stderr, "Error: %s\n", s);
return *mix_init( &t, 1, 0, 1 );
}
/* End of File */