Automerge: [mlir][SMT] fix MLIRExportSMTLIB by linking MLIRArithDialect

makslevental · github-actions[bot] · commit 3fb8204f1d46 · 2025-04-12T21:42:52.000Z
diff --git a/mlir/lib/Target/SMTLIB/CMakeLists.txt b/mlir/lib/Target/SMTLIB/CMakeLists.txt
@@ -5,9 +5,10 @@ add_mlir_translation_library(MLIRExportSMTLIB
   Core
 
   LINK_LIBS PUBLIC
-  MLIRSMT
-  MLIRSupport
+  MLIRArithDialect
   MLIRFuncDialect
   MLIRIR
+  MLIRSMT
+  MLIRSupport
   MLIRTranslateLib
 )
