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

Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 3 11:52:50 2009 +0200

Fixed inclusions.

---

src/Difference_Floating_Point_Expression.defs.hh | 2 +- src/Division_Floating_Point_Expression.defs.hh | 2 +- ...ultiplication_Floating_Point_Expression.defs.hh | 2 +- src/Sum_Floating_Point_Expression.defs.hh | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/Difference_Floating_Point_Expression.defs.hh b/src/Difference_Floating_Point_Expression.defs.hh index 304e92e..51f1cdb 100644 --- a/src/Difference_Floating_Point_Expression.defs.hh +++ b/src/Difference_Floating_Point_Expression.defs.hh @@ -24,9 +24,9 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Difference_Floating_Point_Expression_defs_hh #define PPL_Difference_Floating_Point_Expression_defs_hh 1

+#include "Floating_Point_Expression.defs.hh" #include "globals.defs.hh" #include "Difference_Floating_Point_Expression.types.hh" -#include "Linear_Form.defs.hh" #include <map>

namespace Parma_Polyhedra_Library { diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh index 9a20d0a..6cc0596 100644 --- a/src/Division_Floating_Point_Expression.defs.hh +++ b/src/Division_Floating_Point_Expression.defs.hh @@ -24,9 +24,9 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Division_Floating_Point_Expression_defs_hh #define PPL_Division_Floating_Point_Expression_defs_hh 1

+#include "Floating_Point_Expression.defs.hh" #include "globals.defs.hh" #include "Division_Floating_Point_Expression.types.hh" -#include "Linear_Form.defs.hh" #include <map>

namespace Parma_Polyhedra_Library { diff --git a/src/Multiplication_Floating_Point_Expression.defs.hh b/src/Multiplication_Floating_Point_Expression.defs.hh index 6392bcc..9b180f9 100644 --- a/src/Multiplication_Floating_Point_Expression.defs.hh +++ b/src/Multiplication_Floating_Point_Expression.defs.hh @@ -24,9 +24,9 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Multiplication_Floating_Point_Expression_defs_hh #define PPL_Multiplication_Floating_Point_Expression_defs_hh 1

+#include "Floating_Point_Expression.defs.hh" #include "globals.defs.hh" #include "Multiplication_Floating_Point_Expression.types.hh" -#include "Linear_Form.defs.hh" #include <map>

namespace Parma_Polyhedra_Library { diff --git a/src/Sum_Floating_Point_Expression.defs.hh b/src/Sum_Floating_Point_Expression.defs.hh index 57671ef..44a3752 100644 --- a/src/Sum_Floating_Point_Expression.defs.hh +++ b/src/Sum_Floating_Point_Expression.defs.hh @@ -24,9 +24,9 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Sum_Floating_Point_Expression_defs_hh #define PPL_Sum_Floating_Point_Expression_defs_hh 1

+#include "Floating_Point_Expression.defs.hh" #include "globals.defs.hh" #include "Sum_Floating_Point_Expression.types.hh" -#include "Linear_Form.defs.hh" #include <map>

namespace Parma_Polyhedra_Library {