diff options
Diffstat (limited to 'src/Grid_Generator_System.defs.hh')
-rw-r--r-- | src/Grid_Generator_System.defs.hh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Grid_Generator_System.defs.hh b/src/Grid_Generator_System.defs.hh index 4b124b43c..679675832 100644 --- a/src/Grid_Generator_System.defs.hh +++ b/src/Grid_Generator_System.defs.hh @@ -30,6 +30,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Variables_Set.types.hh" #include "Grid.types.hh" #include <iosfwd> +#include <cstddef> namespace Parma_Polyhedra_Library { @@ -267,7 +268,7 @@ public: class const_iterator : public std::iterator<std::forward_iterator_tag, Grid_Generator, - ptrdiff_t, + std::ptrdiff_t, const Grid_Generator*, const Grid_Generator&>, private Generator_System::const_iterator { |