remove extra MLIRArithDialect

makslevental · TaoBi22 · maerhart · makslevental · commit abdb4df9f4aa · 2025-04-12T17:40:47.000-04:00
Co-authored-by: Bea Healy &lt;beahealy22@gmail.com&gt;
Co-authored-by: Martin Erhart &lt;maerhart@outlook.com&gt;
Co-authored-by: Mike Urbach &lt;mikeurbach@gmail.com&gt;
Co-authored-by: Will Dietz &lt;will.dietz@sifive.com&gt;
Co-authored-by: fzi-hielscher &lt;hielscher@fzi.de&gt;
Co-authored-by: Fehr Mathieu &lt;mathieu.fehr@gmail.com&gt;
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`	`)`