Skip to content
Unverified Commit 4a9dabbc authored by Isuru Fernando's avatar Isuru Fernando Committed by GitHub
Browse files

Fix simplify using aff (#566) 

* Fix simplify_using_aff

* more robust test

* sorted non_inames
parent d48a267f