[mlir][SMT] fix MLIRExportSMTLIB by linking MLIRArithDialect

makslevental · makslevental · commit d903f6b672cb · 2025-04-12T17:08:57.000-04:00
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
 )
