diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc
index 64fd0a49..3ba97ed9 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 cc15ca47..0df750a1 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>