From 4aea8548d31a245a5ffb1c5babfa1c0dac392e2c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 20 Feb 2004 23:19:09 +0000
Subject: [PATCH] * lbtt/src/Makefile.am (lbtt_translate_SOURCES): Fix leftover
 from 1.0.3 merge.

---
 ChangeLog            | 3 +++
 lbtt/src/Makefile.am | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 6cef9c6cd..5cecd9a3b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-02-21  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* lbtt/src/Makefile.am (lbtt_translate_SOURCES): Fix leftover
+	from 1.0.3 merge.
+
 	* wrap/python/cgi/ltl2tgba.in: Process ltl2tgba.opt if it exists.
 
 	* wrap/python/cgi/ltl2tgba.in: Color translators and their options.
diff --git a/lbtt/src/Makefile.am b/lbtt/src/Makefile.am
index a2ef8a4f1..2a4161321 100644
--- a/lbtt/src/Makefile.am
+++ b/lbtt/src/Makefile.am
@@ -51,13 +51,13 @@ EXTRA_lbtt_SOURCES = gnu-getopt.h Config-parse.h
 lbtt_LDADD = $(LIBOBJS) $(READLINELIBS)
 
 lbtt_translate_SOURCES = \
-  ObstackAlloc.h \
   BitArray.h \
   BitArray.cc \
   Exception.h \
   ExternalTranslator.h \
   ExternalTranslator.cc \
   FormulaWriter.h \
+  LbttAlloc.h \
   LbtWrapper.h \
   LtlFormula.h \
   LtlFormula.cc \