tree 9dc45c5777889f639f0d288c800bb477fa4fe6c8
parent 76d8c615321a23d2a24a3a2b190e160f79894296
author Marcel van Lohuizen <mpvl@golang.org> 1595175616 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1595489677 +0000

internal/core/eval: fix double increase of close ID

This fixes a bug where the close ID could be incremented twice
if a Vertex was added through a disjunction.

Change-Id: I6f161ec2f9bb4e992080c8e831fef55dcdcb56df
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/6646
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>