Skip to content

Use goto_programt::make_X factories in two places#4003

Merged
tautschnig merged 1 commit intodevelopfrom
use_make_X3
Jan 31, 2019

Commits

Commits on Jan 31, 2019