Changeset 85fb25 in git
- Timestamp:
- Oct 5, 2018, 12:06:38 PM (6 years ago)
- Branches:
- (u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
- Children:
- 83f82e55df65ec0df97ef0fb229a2d07b8f06cff
- Parents:
- dc3320754641bde63c765b90ef5f3d265bc3659b
- git-author:
- Christian Eder <ederc@mathematik.uni-kl.de>2018-10-05 12:06:38+02:00
- git-committer:
- Christian Eder <ederc@mathematik.uni-kl.de>2018-10-05 12:37:42+02:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/kutil.cc
rdc3320 r85fb25 7941 7941 goto all_done; 7942 7942 } 7943 /* we have to break since we did not cancel the term, but only decreased 7944 * its coefficient. */ 7943 7945 break; 7944 7946 }
Note: See TracChangeset
for help on using the changeset viewer.