diff options
| -rw-r--r-- | frontends/ast/ast.cc | 9 | ||||
| -rw-r--r-- | kernel/yosys.h | 1 |
2 files changed, 1 insertions, 9 deletions
diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc index 64fd0a49c..3ba97ed9b 100644 --- a/frontends/ast/ast.cc +++ b/frontends/ast/ast.cc @@ -30,15 +30,6 @@ #include "libs/sha1/sha1.h" #include "ast.h" -#include <sstream> -#include <stdarg.h> - -#if defined(__APPLE__) -# include <cmath> -#else -# include <math.h> -#endif - YOSYS_NAMESPACE_BEGIN using namespace AST; diff --git a/kernel/yosys.h b/kernel/yosys.h index cc15ca47c..0df750a13 100644 --- a/kernel/yosys.h +++ b/kernel/yosys.h @@ -51,6 +51,7 @@ #include <initializer_list> #include <stdexcept> #include <memory> +#include <cmath> #include <sstream> #include <fstream> |