From: Gabriel Somlo <gsomlo@gmail.com>
Date: Wed, 25 Nov 2020 13:46:26 +0000 (-0500)
Subject: Add #include needed to build with gcc-11
X-Git-Tag: working-ls180~179^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=150b729b6f1c06b94a5f1189289c8e094cda2f6e;p=yosys.git

Add #include needed to build with gcc-11

Suggested by Jeff Law <law@redhat.com>
---

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