[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed inclusions.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at 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 {