if (curr->is_write()) {
bool updated_mod_order = w_modification_order(curr);
bool updated_promises = resolve_promises(curr);
- updated = updated_mod_order || updated_promises;
+ updated = updated || updated_mod_order || updated_promises;
if (promises->size()==0) {
for (unsigned int i = 0; i<futurevalues->size(); i++) {