From 8b41f5806d1619f2a7fe563bbb702d5da0a2e72a Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 19 May 2004 08:44:27 +0000
Subject: [PATCH] - Some cleanup in the header code.

---
 src/latex.c | 3 ++-
 src/latex.h | 2 --
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/latex.c b/src/latex.c
index 2e4904a..5f362d9 100644
--- a/src/latex.c
+++ b/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;
     }
diff --git a/src/latex.h b/src/latex.h
index 7b1d074..e447395 100644
--- a/src/latex.h
+++ b/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);