Do not unnecessary follow tag types when storing the boolbv mapping#4364

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:mapping-dont-follow

Mar 11, 2019

Commits on Mar 11, 2019

Do not unnecessary follow tag types when storing the boolbv mapping
tautschnig
committed