Mark unnecessarily-public members of compilet protected#5617

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:compilet-visibility

Dec 18, 2020

Commits on Nov 19, 2020

Mark unnecessarily-public members of compilet protected
tautschnig
committed