-
Edsko de Vries authored
OpenGoal contains a FlaggedDep which contains a lot more information than we actually need in the tree; we just need to know, which choice are we introducing: package, flag, or stanza? We don't need the full FlaggedDep tree.
febf9530