From 150b729b6f1c06b94a5f1189289c8e094cda2f6e Mon Sep 17 00:00:00 2001
From: Gabriel Somlo <gsomlo@gmail.com>
Date: Wed, 25 Nov 2020 08:46:26 -0500
Subject: [PATCH] Add #include needed to build with gcc-11

Suggested by Jeff Law <law@redhat.com>
---
 passes/sat/freduce.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/passes/sat/freduce.cc b/passes/sat/freduce.cc
index 762edfdfb..f87b85da9 100644
--- a/passes/sat/freduce.cc
+++ b/passes/sat/freduce.cc
@@ -27,6 +27,7 @@
 #include <stdio.h>
 #include <string.h>
 #include <algorithm>
+#include <limits>
 
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
-- 
2.30.2