Improved equiv_purge log output
authorClifford Wolf <clifford@clifford.at>
Tue, 29 Nov 2016 12:30:35 +0000 (13:30 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 29 Nov 2016 12:30:35 +0000 (13:30 +0100)
commitac7a175a3c55e83fbf4d85823a3f9220c86e3ed2
treec1e1140effe7d93cd849f3c425c0ffd3b06013a7
parentdf2e5aad6f79556044aa80612f3f7ffb664ec617
Improved equiv_purge log output
passes/equiv/equiv_purge.cc