Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
internal/core/adt: remove unnecessary code
This cleans things up a bit before the next CL. Issue #2884 Signed-off-by: Marcel van Lohuizen <mpvl@gmail.com> Change-Id: Ied21592878756982609db6b23abee35f5fbb0ae1 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1193021 TryBot-Result: CUEcueckoo <cueckoo@cuelang.org> Reviewed-by: Daniel Martí <mvdan@mvdan.cc> Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
- Loading branch information