Skip to content

can_cast_expr<is_dynamic_object_exprt>: fix copy&paste error#6742

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:bugfixes/is_dynamic
Mar 22, 2022

Commits

Commits on Mar 21, 2022