Commit e8a565bd authored by Sylvain Dailler's avatar Sylvain Dailler

Fixed transformation proved update

Transformations are created with proved=true if they dont have any
children. So, they were never updated in update_trans_node. This commit
is a modification to update them.
parent 0186aebb
......@@ -781,7 +781,13 @@ and update_trans_node notification s trid =
Htn.replace s.tn_state trid proved;
notification (ATn trid);
update_goal_node notification s (get_trans_parent s trid)
(* Specific case in which we *always* need to call notification because
transformation are created with proved=true when they don't have subtasks.
This means they won't be updated in the next if so the parent goal will
never get updated. *)
if proof_list = [] then
update_goal_node notification s (get_trans_parent s trid)
let update_any_node s notification a =
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