[PPL-devel] [GIT] ppl/ppl(master): Header file inclusions reordered.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Oct 31 18:10:00 2011 +0100

Header file inclusions reordered.

---

 src/Float.defs.hh |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Float.defs.hh b/src/Float.defs.hh
index 3148095..541b9df 100644
--- a/src/Float.defs.hh
+++ b/src/Float.defs.hh
@@ -27,14 +27,14 @@ site: http://bugseng.com/products/ppl/ . */
 #include "globals.types.hh"
 #include "meta_programming.hh"
 #include "compiler.hh"
-#include <gmp.h>
 #include "assert.hh"
-#include <cmath>
-#include <map>
 #include "Concrete_Expression.types.hh"
 #include "Variable.types.hh"
 #include "Linear_Form.types.hh"
 #include <set>
+#include <cmath>
+#include <map>
+#include <gmp.h>
 
 #ifdef NAN
 #define PPL_NAN NAN