Commit 91d0f581 authored by Gaurav Parthasarathy's avatar Gaurav Parthasarathy

adjusted proph_extract_winner to only consider the thread identifier

parent 7a4c79a9
Pipeline #18317 canceled with stage
......@@ -163,7 +163,7 @@ Section rdcss.
Fixpoint proph_extract_winner (pvs : list (val * val)) : option proph_id :=
match pvs with
| ((_, #true)%V, LitV (LitProphecy tid)) :: _ => Some tid
| ((_, _)%V, LitV (LitProphecy tid)) :: _ => Some tid
| _ => None
end.
......
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