Commit a838006b authored by MARCHE Claude's avatar MARCHE Claude

local exception not supported by older version of OCaml, that's a pity

parent 1d6321df
......@@ -1022,6 +1022,8 @@ end
(* ----------------- Schedule proof attempt -------------------- *)
exception Return
(* Callback of a proof_attempt *)
let callback_update_tree_proof cont panid pa_status =
let ses = cont.controller_session in
......@@ -1033,7 +1035,6 @@ end
let parent = node_ID_from_pn parent_id in
new_node ~parent (APa panid)
in
let exception Return in
try
begin match pa_status with
| UpgradeProver _ ->
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment