diff --git a/runtime/legion/legion_replication.cc b/runtime/legion/legion_replication.cc index 93e7bea6e3..55d99fb60e 100644 --- a/runtime/legion/legion_replication.cc +++ b/runtime/legion/legion_replication.cc @@ -1522,8 +1522,11 @@ namespace Legion { // No need to do anything with the output local precondition // We already added it to the complete_effects when we made // the collective at the beginning - if (collective_done.exists()) + if (collective_done.exists() && !collective_done.has_triggered()) + { + AutoLock o_lock(op_lock); commit_preconditions.insert(collective_done); + } } // Now call the base version of this to finish making // the instances for the future results