diff --git a/src/term.c b/src/term.c index 19cf61e..6e1a7d0 100644 --- a/src/term.c +++ b/src/term.c @@ -290,7 +290,7 @@ termPrint (Term term) { if (term == NULL) { - eprintf ("Empty term"); + eprintf ("*"); return; } #ifdef DEBUG