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 \