Ensure typet constructor is always compatible with GCC 5's STL [blocks: #4458]#4460

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:constructor-fix

Mar 30, 2019

Commits on Mar 30, 2019

Ensure typet constructor is always compatible with GCC 5's STL
tautschnig
committed