Skip to content

Commit

Permalink
[NFC][SMT] Drop unnecessary dialect deps
Browse files Browse the repository at this point in the history
As per review on llvm#8049
  • Loading branch information
TaoBi22 committed Jan 10, 2025
1 parent c49c1c3 commit b216b99
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 2 deletions.
1 change: 0 additions & 1 deletion lib/Dialect/SMT/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@ add_circt_dialect_library(CIRCTSMT
Support

LINK_LIBS PUBLIC
CIRCTSupport
MLIRIR
MLIRInferTypeOpInterface
MLIRSideEffectInterfaces
Expand Down
1 change: 0 additions & 1 deletion lib/Dialect/SMT/SMTOps.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,6 @@
//===----------------------------------------------------------------------===//

#include "circt/Dialect/SMT/SMTOps.h"
#include "circt/Support/CustomDirectiveImpl.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/OpImplementation.h"
#include "llvm/ADT/APSInt.h"
Expand Down

0 comments on commit b216b99

Please sign in to comment.