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 762edfdfbf0c2b462514b995512a9830aa8399ad..f87b85da9137952d3ec81844c775d908e3397b77 100644 (file)
--- 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