tree cd01e0532d0bf09c70495e2225eb11cbd3432525
parent b329e5853750e2effae3a1807e1bf35cdde29bc7
author Sameer Agarwal <sameeragarwal@google.com> 1346879182 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1346879182 -0700

Stricter checking of Solver::Option::num_eliminate_blocks.

Change-Id: Ic8e61cedbe0eb028a32c89f77dc6b838d3a8caa4