tree d8160072a532cb6f422829d142950a65c6a59c71
parent 858efa92ad0bfd9d477145cac9109e3fffd2897b
author Yujun Zhang <zhangyujun@gmail.com> 1620715204 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1620717185 +0000

internal/core/adt: fix typo

Closes #959
https://github.com/cuelang/cue/pull/959

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