Commit f5a981c6 authored by kristenk's avatar kristenk
Browse files

Revert "Solver: Add missing call to 'simplifyVar'."

This reverts commit adc1fe96.
parent 32cae609
......@@ -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