From d65c0fbcd650903b7a13cf7dd8a7fd92b8998410 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 19 Oct 2025 20:14:20 +0200 Subject: [PATCH] add explicit constructors for nightly mac build failure Signed-off-by: Nikolaj Bjorner --- src/util/obj_hashtable.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/util/obj_hashtable.h b/src/util/obj_hashtable.h index 36715facf..c59f87696 100644 --- a/src/util/obj_hashtable.h +++ b/src/util/obj_hashtable.h @@ -58,6 +58,9 @@ public: struct key_data { Key * m_key = nullptr; Value m_value; + key_data() {} + key_data(Key *key) : m_key(key) {} + key_data(Key *k, Value const &v) : m_key(k), m_value(v) {} Value const & get_value() const { return m_value; } Key & get_key () const { return *m_key; } unsigned hash() const { return m_key->hash(); }