-
Simon Marlow authored
- remove $opt_UnfoldingUseThreshold, it's a per-compilation flag now (not per-simplification) - pass through all -funfolding-.* flags, so we can get at the rest
d18f2902
- remove $opt_UnfoldingUseThreshold, it's a per-compilation flag now (not per-simplification) - pass through all -funfolding-.* flags, so we can get at the rest