contains-partition

Z3Prover · Jun 8, 2022 · c584750 · c584750
1 parent 6a1193e
commit c584750
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/top_sort.h b/src/util/top_sort.h
@@ -44,7 +44,7 @@ class top_sort {
 
 
     bool contains_partition(T* f) const {
-        return m_partition_id.get(f->get_small_id()) != UINT_MAX;
+        return m_partition_id.get(f->get_small_id(), UINT_MAX) != UINT_MAX;
     }