Revert "Fix first divergence in #1178"
authorEddie Hung <eddie@fpgeh.com>
Mon, 15 Jul 2019 15:31:26 +0000 (08:31 -0700)
committerEddie Hung <eddie@fpgeh.com>
Mon, 15 Jul 2019 15:31:26 +0000 (08:31 -0700)
commit78560aac86b763306798192aa375ed04a5b192a0
tree5e6b48f0e5783df8b79db8eac4b081c4f14a9cef
parent7129a03083b21c1ed1610126ae28828c56f42369
Revert "Fix first divergence in #1178"

This reverts commit 1122a2e0671ed00b7c03658f5012e34df12f26de.
passes/opt/wreduce.cc