- Fixed the latex knowledge printer, which was a strange omission.

This commit is contained in:
ccremers 2004-05-12 15:18:35 +00:00
parent b865fa8f46
commit 06105d8d63

View File

@ -651,7 +651,7 @@ knowledgePrintLatex (Knowledge know)
else else
{ {
tl = knowledgeSet (know); tl = knowledgeSet (know);
termlistPrint (tl); latexTermlistPrint (tl,NULL);
termlistDelete (tl); termlistDelete (tl);
} }
} }