Skip to content

Commit

Permalink
Remove unused includes
Browse files Browse the repository at this point in the history
  • Loading branch information
@RCoeurjoly
RCoeurjoly committed Jun 23, 2024
1 parent 857342e commit a350ff6
Showing 1 changed file with 0 additions and 5 deletions.
5 changes: 0 additions & 5 deletions backends/functional/smtlib.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit a350ff6

Please sign in to comment.