From b865fa8f46f8b9d23ef56d661a882b9936e5d04f Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 12 May 2004 15:16:11 +0000
Subject: [PATCH] - Removed square brackets from latex termlist printing. This
 is however   still an issue for the knowledge print.

---
 src/latex.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/latex.c b/src/latex.c
index 998547d..03a268c 100644
--- a/src/latex.c
+++ b/src/latex.c
@@ -159,10 +159,9 @@ latexTermlistPrint (Termlist tl, Termlist highlight)
 {
   if (tl == NULL)
     {
-      printf ("[Empty]");
+      printf ("\\emptyset");
       return;
     }
-  printf ("[");
   while (tl != NULL)
     {
       latexTermPrint (tl->term, highlight);
@@ -170,7 +169,6 @@ latexTermlistPrint (Termlist tl, Termlist highlight)
       if (tl != NULL)
 	printf (", ");
     }
-  printf ("]");
 }
 
 /*