Handle duplicates in IRM::unincorporate.

probcomp · Sep 21, 2024 · 8c58d7e · 8c58d7e
1 parent b12a4af
commit 8c58d7e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cxx/irm.cc b/cxx/irm.cc
@@ -78,6 +78,9 @@ void IRM::unincorporate(const std::string& r, const T_items& items) {
   for (size_t i = 0; i < rel_domains.size(); ++i) {
     if (!irm_contains_item.at({rel_domains[i], items[i]})) {
       domains[rel_domains[i]]->unincorporate(items[i]);
+
+      // Only unincorporate duplicates once.
+      irm_contains_item[{rel_domains[i], items[i]}] = true;
     }
   }
 }