remove extra MLIRArithDialect

makslevental · makslevental · commit dd1dd10e097d · 2025-04-12T17:44:09.000-04:00
diff --git a/mlir/lib/Target/SMTLIB/CMakeLists.txt b/mlir/lib/Target/SMTLIB/CMakeLists.txt
@@ -11,5 +11,4 @@ add_mlir_translation_library(MLIRExportSMTLIB
   MLIRSMT
   MLIRSupport
   MLIRTranslateLib
-  MLIRArithDialect
 )
diff --git a/mlir/test/CAPI/CMakeLists.txt b/mlir/test/CAPI/CMakeLists.txt
@@ -132,4 +132,4 @@ _add_capi_test_executable(mlir-capi-smt-test
     MLIRCAPIFunc
     MLIRCAPISMT
     MLIRCAPIExportSMTLIB
-)
+)

Original file line number	Diff line number	Diff line change
`@@ -11,5 +11,4 @@ add_mlir_translation_library(MLIRExportSMTLIB`
`11`	`11`	`MLIRSMT`
`12`	`12`	`MLIRSupport`
`13`	`13`	`MLIRTranslateLib`
`14`		`- MLIRArithDialect`
`15`	`14`	`)`