From c5847504ff563e457234adc0f16dccffe4be684f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 8 Jun 2022 12:20:45 -0700
Subject: [PATCH] contains-partition

---
 src/util/top_sort.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/top_sort.h b/src/util/top_sort.h
index 2943b68b6..0f2c32cb7 100644
--- 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;
     }