tree 5bf1a45f75ea7c0158d0ec6f4492eaec14c359d4
parent 79644c3bc3d1262d88384db270eecf1a1c6f801e
author Marcel van Lohuizen <mpvl@golang.org> 1615051261 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1615061325 +0000

tools/trim: fix too aggressive elimination for disjunctions

See comments in trim.go

Fixes #801
Fixes #781

Change-Id: Ia86ed8530b5206e7b3196b9f5bc848bfbe373548
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8922
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>