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