Use selection in freduce command
authorClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 12:15:11 +0000 (13:15 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 12:15:11 +0000 (13:15 +0100)
commitbf5e5429c19af5ab92c30a0c7ca99408cd1f3dde
tree31c4eda9e665f552c841e5263065bce4ba198287
parentc3e9f0712fa2a35cf3e4a638164aed7ab8d8ff4a
Use selection in freduce command
passes/sat/freduce.cc