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