Commit 3bed0c81 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov Committed by GitHub
Browse files

Merge pull request #4147 from grayjay/call-simplify-var

Solver: Add missing call to 'simplifyVar'.
parents 2d26af4b adc1fe96
......@@ -74,7 +74,7 @@ getBestGoal :: ConflictMap -> P.PSQ (Goal QPN) a -> (Goal QPN, a)
getBestGoal cm =
P.maximumBy
( flip (M.findWithDefault 0) cm
. (\ (Goal v _) -> v)
. (\ (Goal v _) -> simplifyVar 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