Changeset f60ab1 in git
- Timestamp:
- Jan 28, 2021, 2:34:32 PM (2 years ago)
- Branches:
- (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
- Children:
- 19ee5eb33e0ea7b7b2733aee435dc677eb23f478
- Parents:
- b72766d4cc7867edd0519743576e84d21bd855f7
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/facBivar.cc
rb72766 rf60ab1 613 613 for (CFListIterator iter= uniFactors; iter.hasItem(); iter++) 614 614 iter.getItem()= replacevar (iter.getItem(), vv, v); 615 prune (vv);615 //prune (vv); 616 616 } 617 617
Note: See TracChangeset
for help on using the changeset viewer.