Commit 49b422b5 authored by Edsko de Vries's avatar Edsko de Vries
Browse files

Remove redundant calls to simplifyVar

parent 04bc6981
......@@ -352,12 +352,12 @@ goalVarToConflictSet (Goal g _gr) = varToConflictSet g
-- | Compute a singleton conflict set from a 'Var'
varToConflictSet :: Var qpn -> ConflictSet qpn
varToConflictSet = CS.singleton . simplifyVar
varToConflictSet = CS.singleton
goalReasonToVars :: Ord qpn => GoalReason qpn -> ConflictSet qpn
goalReasonToVars UserGoal = CS.empty
goalReasonToVars (PDependency (PI qpn _)) = CS.singleton (P qpn)
goalReasonToVars (FDependency qfn _) = CS.singleton (simplifyVar (F qfn))
goalReasonToVars (FDependency qfn _) = CS.singleton (F qfn)
goalReasonToVars (SDependency qsn) = CS.singleton (S qsn)
goalReasonToVars Unknown = CS.empty
......
Supports Markdown
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