Check the type equivalence before reassigning

CozySynthesizer / cozy

The collection synthesizer

https://cozy.uwplse.org

Apache License 2.0

209 stars 18 forks source link

Closed izgzhen closed 5 years ago

izgzhen commented 5 years ago

fix #87

izgzhen commented 5 years ago

I rerun most examples and it looked good without any other patch (which is surprising to me).

izgzhen commented 5 years ago

Done! thanks