diff options
| author | Hugo Herbelin | 2014-11-06 16:09:55 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-11-06 16:59:58 +0100 |
| commit | 34de09e9a072a937f1510d69cad1204a53e007aa (patch) | |
| tree | 12793945a255306d8fc442819d3df1b3ac4c14bb /kernel | |
| parent | b933f60c2c6b20898becf9cfc7215a610800c75a (diff) | |
Optimizing when to clear generalized hypotheses in destruct.
Removing blocking of generalization on destructed hypothesis
introduced on Nov 2. It was a bad idea as shown by bug #3790 on
eliminating v:Vector n, keeping an equality.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions