Commit 01016785 authored by kristenk's avatar kristenk Committed by GitHub
Browse files

Merge pull request #4153 from grayjay/revert-pr-4147

Revert "Solver: Add missing call to 'simplifyVar'."
parents 90e48b57 f5a981c6
......@@ -72,7 +72,7 @@ getBestGoal :: ConflictMap -> P.PSQ (Goal QPN) a -> (Goal QPN, a)
getBestGoal cm =
P.maximumBy
( flip (M.findWithDefault 0) cm
. (\ (Goal v _) -> simplifyVar v)
. (\ (Goal v _) -> v)
)
getFirstGoal :: P.PSQ (Goal QPN) a -> (Goal QPN, a)
......
Markdown is supported
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