Remove unused quantifier_exprt default constructor#3050

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:quantifier_exprt-cleanuptautschnig/cbmc:quantifier_exprt-cleanupCopy head branch name to clipboard