- Removed square brackets from latex termlist printing. This is however

still an issue for the knowledge print.
This commit is contained in:
ccremers 2004-05-12 15:16:11 +00:00
parent 102ed11c66
commit b865fa8f46

View File

@ -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 ("]");
}
/*