- Some cleanup in the header code.

src/latex.c

@@ -12,6 +12,7 @@
 #include "tracebuf.h"
 #include "varbuf.h"
 #include "output.h"
+#include "latex.h"
 
 //! Multiplication factor for distance between events in an MSC diagram.
 #define EVENTSPACE 1
@@ -134,7 +135,7 @@ latexTermPrint (Term term, Termlist highlight)
   if (realTermTuple (term))
     {
       printf ("(");
-      latexTermTuplePrint (term);
+      latexTermTuplePrint (term, highlight);
       printf (")");
       return;
     }

src/latex.h

@@ -12,8 +12,6 @@ void latexDone(const System sys);
 void latexTimers(const System sys);
 void latexMSCStart();
 void latexMSCEnd();
-void latexDeclInst(const System sys);
-void latexMessagePrint(const System sys, int from, int to);
 void latexLearnComment(const System sys, Termlist tl);
 void latexTracePrint(System sys);
 void attackDisplayLatex(System sys);