diff options
| author | Gabriel Somlo <gsomlo@gmail.com> | 2020-11-25 08:46:26 -0500 |
|---|---|---|
| committer | Gabriel Somlo <gsomlo@gmail.com> | 2020-11-26 06:12:12 -0500 |
| commit | 150b729b6f1c06b94a5f1189289c8e094cda2f6e (patch) | |
| tree | 6d38cfc6b48c581c2b0e99d56c6d2d2df61db796 /passes/sat/freduce.cc | |
| parent | 2116c585810cddb73777b46ea9aad0d6d511d82b (diff) | |
| download | yosys-150b729b6f1c06b94a5f1189289c8e094cda2f6e.tar.gz yosys-150b729b6f1c06b94a5f1189289c8e094cda2f6e.tar.bz2 yosys-150b729b6f1c06b94a5f1189289c8e094cda2f6e.zip | |
Add #include needed to build with gcc-11
Suggested by Jeff Law <law@redhat.com>
Diffstat (limited to 'passes/sat/freduce.cc')
| -rw-r--r-- | passes/sat/freduce.cc | 1 |
1 files changed, 1 insertions, 0 deletions
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 |