Skip to content

Replace use of deprecated nil_typet in c_sizeof_type_rec [blocks: #3800]#3944

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:deprecation-nil_typet-sizeof
Jan 26, 2019

Commits

Commits on Jan 26, 2019