tree c86ed588196b542e431a27ff28a672566ff0bfe6
parent ae51469c505e17d571142333b962abf21e3b6510
author Marcel van Lohuizen <mpvl@golang.org> 1612715031 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1612794256 +0000

internal/core/adt: comment out leak test

The Skipf inadventently caused some tests for
correctness to be ignored.

Change-Id: I378fcaa03e8a2ba24a68a589dd264e74eb0fc4bd
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8663
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>