Module: ppl/ppl Branch: pip Commit: 4e5c81beb8e9e05d2dac40a9fe05c90f756b524c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e5c81beb8e9e...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Oct 22 22:07:38 2009 +0200

Ditribute also MIP_Problem.types.hh, PIP_Tree.types.hh and PIP_Problem.types.hh.

---

src/Makefile.am | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/src/Makefile.am b/src/Makefile.am index 2160973..55b750e 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -269,11 +269,14 @@ Grid_Generator_System.inlines.hh \ Congruence_System.inlines.hh \ Scalar_Products.defs.hh \ Scalar_Products.inlines.hh \ +MIP_Problem.types.hh \ MIP_Problem.defs.hh \ MIP_Problem.inlines.hh \ MIP_Problem.templates.hh \ +PIP_Tree.types.hh \ PIP_Tree.defs.hh \ PIP_Tree.inlines.hh \ +PIP_Problem.types.hh \ PIP_Problem.defs.hh \ PIP_Problem.inlines.hh \ PIP_Problem.templates.hh \