1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/yosys.h b/kernel/yosys.h
index 5f3c3577d..2c9ca0dd9 100644
--- a/kernel/yosys.h
+++ b/kernel/yosys.h
@@ -221,6 +221,10 @@ YOSYS_NAMESPACE_END
 
 YOSYS_NAMESPACE_BEGIN
 
+namespace hashlib {
+	template<> struct hash_ops<RTLIL::State> : hash_ops<int> {};
+}
+
 void yosys_setup();
 void yosys_shutdown();