Revert "Update doc for equiv_opt"
authorEddie Hung <eddie@fpgeh.com>
Thu, 3 Oct 2019 17:07:03 +0000 (10:07 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 3 Oct 2019 17:07:03 +0000 (10:07 -0700)
commitc6d15c9aade55a87595693ecb9170ae8b595e28c
tree167c5725034aa546e8a33f765767fcdb6a81a6f1
parent62c66406ad69c4cf02c3edc843d80e0e2b05c384
Revert "Update doc for equiv_opt"

This reverts commit a274b7cc86d4f64541d3d2903b4eeed4616ab1d8.
passes/equiv/equiv_opt.cc