[PPL-devel] [GIT] ppl/ppl(master): Inclusions fixed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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>