parent
6501e399ce
commit
d502b72d08
|
@ -112,7 +112,7 @@ public:
|
||||||
typedef SuccIterator<Term, BB> Self;
|
typedef SuccIterator<Term, BB> Self;
|
||||||
|
|
||||||
inline bool index_is_valid(unsigned idx) {
|
inline bool index_is_valid(unsigned idx) {
|
||||||
return idx >= 0 && idx < TermInst->getNumSuccessors();
|
return idx < TermInst->getNumSuccessors();
|
||||||
}
|
}
|
||||||
|
|
||||||
/// \brief Proxy object to allow write access in operator[]
|
/// \brief Proxy object to allow write access in operator[]
|
||||||
|
|
Loading…
Reference in New Issue