[PPL-devel] [GIT] ppl/ppl(pip): Ditribute also MIP_Problem.types.hh, PIP_Tree.types. hh and PIP_Problem.types.hh.

22 Oct 2009

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 \

    