Fix equiv_simple, old behavior now available with "equiv_simple -short"
authorClifford Wolf <clifford@clifford.at>
Fri, 28 Apr 2017 16:54:53 +0000 (18:54 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 28 Apr 2017 16:57:53 +0000 (18:57 +0200)
commit3bbac5c1414e3b59b8d965711f2f424aff3c762a
treeab2e232dccaa764718ee8a0cade7b3ab3c24ca84
parentf0db8ffdbcd64560739639dfde078c14f9939604
Fix equiv_simple, old behavior now available with "equiv_simple -short"
passes/equiv/equiv_simple.cc