Commit 9ccb074f authored by MARCHE Claude's avatar MARCHE Claude

bug fix: computation of proved status of transf having detached subgoals

parent 3eed3a28
......@@ -762,7 +762,7 @@ let rec update_goal_node notification s id =
and update_trans_node notification s trid =
let proof_list = get_sub_tasks s trid in
let proved = List.for_all (pn_proved s) proof_list in
let proved = List.for_all (fun pn -> goal_is_detached s pn || pn_proved s pn) proof_list in
if proved <> tn_proved s trid then
begin
Htn.replace s.tn_state trid proved;
......
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