Commit e2b481a0 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov
Browse files

Increase defaultMaxBackjumps to 2000 (from 200).

As suggested by Anders Löh in #1780.
parent 322ddbc0
......@@ -987,7 +987,7 @@ allowNewerPrinter NoFlag = []
defaultMaxBackjumps :: Int
defaultMaxBackjumps = 200
defaultMaxBackjumps = 2000
defaultSolver :: PreSolver
defaultSolver = Choose
......
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