From 1e8de3f86c2a11b99ad3a5b7a0e7f1a94c0c22a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vitor@ubuntu.(none)>
Date: Tue, 23 Sep 2008 22:49:44 +0100
Subject: [PATCH] fix ) in arity 0 predicates

---
 C/tracer.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/C/tracer.c b/C/tracer.c
index e9787a0be..01d0dc3db 100644
--- a/C/tracer.c
+++ b/C/tracer.c
@@ -81,7 +81,9 @@ send_tracer_message(char *start, char *name, Int arity, char *mname, CELL *args)
 #endif
 #endif
       }
-      fprintf(Yap_stderr, ")");
+      if (arity) {
+	fprintf(Yap_stderr, ")");
+      }
     }
   }
   fprintf(Yap_stderr, "\n");