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 \