tree b8f9a566ae7a1764885bbd83a6729234caec18b6
parent 558ee40ee171684a58ef3d7b4ee74852506feee7
author Sameer Agarwal <sameeragarwal@google.com> 1401398812 -0700
committer Keir Mierle <mierle@gmail.com> 1401400777 +0000

Remove support for Solver::Options::solver_log.

This is not really used and if needed can be implemented
in user code.

Change-Id: I56328d51c9d3788f90c751ff9c3a5937989f6ee0