From 41132afea3fbca545c60f3f9e2a25fe3bb4b634e Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 12 Nov 2005 21:16:02 +0000
Subject: [PATCH] - Finally fixed the 'IV', 'RV' nuissance for global variables
 such as   the role names.

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

diff --git a/src/term.c b/src/term.c
index 70660d7..69ad56a 100644
--- a/src/term.c
+++ b/src/term.c
@@ -330,7 +330,7 @@ termPrint (Term term)
   if (realTermLeaf (term))
     {
       symbolPrint (TermSymb (term));
-      if (term->type == VARIABLE)
+      if (term->type == VARIABLE && TermRunid (term) >= 0)
 	eprintf ("V");
       if (TermRunid (term) >= 0)
 	{