Module: ppl/ppl Branch: master Commit: ba5a35b2bccbd2df123efe55085059c59d7fabe4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba5a35b2bccbd...
Author: Roberto Bagnara bagnara@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