- Denoting 'empty term' with '*' from now on, yields more compact

output.
This commit is contained in:
ccremers 2004-08-28 14:00:22 +00:00
parent 391c939b83
commit 08f2155527

View File

@ -290,7 +290,7 @@ termPrint (Term term)
{
if (term == NULL)
{
eprintf ("Empty term");
eprintf ("*");
return;
}
#ifdef DEBUG