[PPL-devel] [GIT] ppl/ppl(pip): Fixed missing make dependency for recently added header file.

7 Sep 2009

Module: ppl/ppl
Branch: pip
Commit: 544e8ba18471243e740b81f9e4d4f05b839788eb
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=544e8ba184712...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Sep  4 18:25:13 2009 +0200
Fixed missing make dependency for recently added header file.
---
src/Makefile.am |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/Makefile.am b/src/Makefile.am
index b50562d..2160973 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -276,6 +276,7 @@ PIP_Tree.defs.hh \
 PIP_Tree.inlines.hh \
 PIP_Problem.defs.hh \
 PIP_Problem.inlines.hh \
+PIP_Problem.templates.hh \
 Poly_Con_Relation.defs.hh \
 Poly_Con_Relation.inlines.hh \
 Poly_Gen_Relation.defs.hh \

    