Skip to content
Snippets Groups Projects
Commit febf9530 authored by Edsko de Vries's avatar Edsko de Vries
Browse files

Replace OpenGoal with Goal in GoalChoice 

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.
parent 3df087b4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment