Use goto_programt::make_X factories in remove_returns#4001
Merged
tautschnig merged 2 commits intodevelopfrom Feb 11, 2019
Merged
Use goto_programt::make_X factories in remove_returns#4001tautschnig merged 2 commits intodevelopfrom
tautschnig merged 2 commits intodevelopfrom
Commits
Commits on Feb 10, 2019
- committed
Daniel Kroening - committedDaniel Kroening