Commit d3d35b15 authored by MARCHE Claude's avatar MARCHE Claude

Fixed stupid missing detail in previous commit...

parent 1d0cb975
......@@ -1126,7 +1126,7 @@ let uninstalled_prover c eS unknown =
let label = "Please select a policy for associated proof attempts" in
let policy_frame = GBin.frame ~label ~packing:vbox_pack () in
let choice = ref 0 in
let choice = ref 1 in
let prover_choosed = ref None in
let set_prover prover () = prover_choosed := Some prover in
let box =
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment