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"
  | Unknown -> ()