Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision 107b01a853d2fa7848b6015136777f62881c1779)
+++ tools/prettyprinter/Makefile.in	(revision 1f86d5e0e812ef5df6a8c2b48266487b25b5362a)
@@ -223,5 +223,4 @@
 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
 ACLOCAL = @ACLOCAL@
-ALLOCA = @ALLOCA@
 AMTAR = @AMTAR@
 AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@