From c6e112686ca93403847a144ded8eefceef674c42 Mon Sep 17 00:00:00 2001
From: Roland Coeurjoly <rolandcoeurjoly@gmail.com>
Date: Sun, 23 Jun 2024 22:13:31 +0200
Subject: [PATCH] Remove unused includes

---
 backends/functional/smtlib.cc | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/backends/functional/smtlib.cc b/backends/functional/smtlib.cc
index a24ab8401..65541d8d8 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