Index: tools/prettyprinter/Makefile.am
===================================================================
--- tools/prettyprinter/Makefile.am	(revision 7d4f6ed5e24a81ba67229ed1240413b39513e433)
+++ tools/prettyprinter/Makefile.am	(revision 084feccbf17e05bce4de62ca0547934692f681fb)
@@ -15,5 +15,5 @@
 ###############################################################################
 
-BUILT_SOURCES = parser.h
+BUILT_SOURCES = parser.hh
 
 AM_YFLAGS = -d -t -v