Commit 56271cec authored by Adéla Štěpková's avatar Adéla Štěpková
Browse files

remove TODO

parent a4cf4972

src/moduleReverser.cpp

+1 −1
Original line number Diff line number Diff line
@@ -123,7 +123,7 @@ void ModuleReverser::runCustomSimplifications(ReversedModule& mod) 
    PassDriver driver(mod.revModule);



    if (options.customSimplify) {

        // TODO send samePathBlocks from simplifyAssumes to MoveUpAssumes

        // outs() << mod.revModule << '\n';

        driver.preprocessForCustomOpt();



        // outs() << mod.revModule << '\n';