set_solver: Minor readability things. master
author Andy Wilkinson
()
committer Andy Wilkinson
()
commit dd00c7907eb769d1c6864b243228a3c4c0c23844
tree 7ca9849d75567d8fa269c79ba7304ff52ffdf7e3
parent f84a39d7e3d73486782241f76d3dbfc5986a87b6
set_solver: Minor readability things.
set_solver.cpp