let wp_prover_set = function
| AltErgo a ->
Wp_parameters.Prover.set "alt-ergo" ;
Wp_parameters.Arrays.set a
| Prover p ->
if p="coqide" && Wp_parameters.Script.get() = ""
then wp_script () ;
Wp_parameters.Prover.set p
| NoProver ->
Wp_parameters.Prover.set "none"