diff --git a/backends/functional/smtlib.cc b/backends/functional/smtlib.cc
index a24ab84017f..65541d8d8e9 100644
--- a/backends/functional/smtlib.cc
+++ b/backends/functional/smtlib.cc
@@ -19,11 +19,6 @@
 
 #include "kernel/yosys.h"
 #include "kernel/functionalir.h"
-#include <cassert>
-#include <sstream>
-#include <vector>
-#include <string>
-#include <unordered_map>
 
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN