bug fix: replaced iterator with const_iterator

This commit is contained in:
Andreas Fabri 2003-05-17 09:28:45 +00:00
parent e021580a68
commit c6b1cada80
1 changed files with 2 additions and 3 deletions

View File

@ -301,12 +301,11 @@ class Interval_for_container : public Interval_
void printOrdered(std::ostream& os) const;
#ifdef ISL_LIST
typedef typename std::list<Interval>::const_iterator const_iterator;
#else
typedef typename
Compact_container<Interval_for_container<Interval> >::iterator iterator;
typedef const iterator const_iterator;
Compact_container<Interval_for_container<Interval> >::const_iterator
const_iterator;
#endif
const_iterator begin() const
{