Remove unused or unneeded _id member

This commit is contained in:
Ion Gaztañaga
2024-05-30 23:12:52 +02:00
parent 0219333fa1
commit 7ec7de921c
9 changed files with 13 additions and 26 deletions
-1
View File
@@ -3881,7 +3881,6 @@ class recursive_devector
recursive_devector & operator=(const recursive_devector &x)
{ this->devector_ = x.devector_; return *this; }
int id_;
devector<recursive_devector> devector_;
devector<recursive_devector>::iterator it_;
devector<recursive_devector>::const_iterator cit_;