Skip to content

Use goto_functiont::parameter_identifiers and remove goto_functiont::type#4167

Merged
tautschnig merged 2 commits intodiffblue:developfrom
tautschnig:parameter-identifiers
Nov 13, 2020

Commits

Commits on Nov 13, 2020