Skip to content

wp_pures: also handle [WP v]

Ralf Jung requested to merge ralf/wp-pures-val into master

I am not sure what is the best way to express in Ltac that we want to run wp_finish only if wp_pure never worked... but at least this approach passes our test suite.^^

Merge request reports