Skip to content

remove 'wf' alias for the standard 'well_founded'

Ralf Jung requested to merge ralf/wf into master

I could not find a single use of this alias outside of std++ itself, so the potential for confusion caused by having two different names for the same thing far outweighs the benefit of occasionally saving 9 keystrokes.

Merge request reports