diff options
Diffstat (limited to 'src/Constraint_System.defs.hh')
| -rw-r--r-- | src/Constraint_System.defs.hh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Constraint_System.defs.hh b/src/Constraint_System.defs.hh index a3c614f1e..a45359195 100644 --- a/src/Constraint_System.defs.hh +++ b/src/Constraint_System.defs.hh @@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Congruence_System.types.hh" #include <iterator> #include <iosfwd> +#include <cstddef> namespace Parma_Polyhedra_Library { @@ -204,7 +205,7 @@ public: class const_iterator : public std::iterator<std::forward_iterator_tag, Constraint, - ptrdiff_t, + std::ptrdiff_t, const Constraint*, const Constraint&> { public: |