Module: ppl/ppl Branch: master Commit: 5e53ad77d4ca05be5707ee31cde1e42e9db130fe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e53ad77d4ca0...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 1 18:25:59 2010 +0200

Inclusions fixed.

---

src/Grid.defs.hh | 4 +--- src/Grid_public.cc | 2 +- 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index c51ffd0..8ce547c 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -28,7 +28,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Variable.defs.hh" #include "Variables_Set.types.hh" #include "Linear_Expression.defs.hh" -#include "Constraint.defs.hh" +#include "Constraint.types.hh" #include "Constraint_System.defs.hh" #include "Constraint_System.inlines.hh" #include "Congruence_System.defs.hh" @@ -40,9 +40,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Poly_Gen_Relation.defs.hh" #include "Grid_Certificate.types.hh" #include "Box.types.hh" -#include "Polyhedron.defs.hh" #include "Polyhedron.types.hh" -#include "Polyhedron.inlines.hh" #include "BD_Shape.types.hh" #include "Octagonal_Shape.types.hh" #include <vector> diff --git a/src/Grid_public.cc b/src/Grid_public.cc index ac0ac43..10c7843 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -25,7 +25,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Grid.defs.hh" #include "Topology.hh" #include "Scalar_Products.defs.hh" - +#include "Polyhedron.defs.hh" #include "assert.hh" #include <iostream>