remove extra MLIRArithDialect

makslevental · makslevental · commit e69f43c94f1f · 2025-04-12T17:38:05.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
 )

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`	`)`