From 08f21555273fe420c267ba8e555a9bebccb23e9e Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 28 Aug 2004 14:00:22 +0000
Subject: [PATCH] - Denoting 'empty term' with '*' from now on, yields more
 compact   output.

---
 src/term.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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