Commit 5999a64
committed
Mark partial reductions as additional simplifications
1 parent 48dfa47 commit 5999a64
1 file changed
+5
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
7575 | 7575 | | |
7576 | 7576 | | |
7577 | 7577 | | |
| 7578 | + | |
| 7579 | + | |
| 7580 | + | |
| 7581 | + | |
| 7582 | + | |
7578 | 7583 | | |
7579 | 7584 | | |
7580 | 7585 | | |
| |||
0 commit comments