Skip to content
  • Edsko de Vries's avatar
    Replace OpenGoal with Goal in GoalChoice · febf9530
    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