From d903f6b672cb7ebb162e3ef98f483e79b180a413 Mon Sep 17 00:00:00 2001
From: Maksim Levental <maksim.levental@gmail.com>
Date: Sat, 12 Apr 2025 17:08:57 -0400
Subject: [PATCH] [mlir][SMT] fix MLIRExportSMTLIB by linking MLIRArithDialect

---
 mlir/lib/Target/SMTLIB/CMakeLists.txt | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/mlir/lib/Target/SMTLIB/CMakeLists.txt b/mlir/lib/Target/SMTLIB/CMakeLists.txt
index 1fd965551ae4..4f47bef8e26c 100644
--- 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
 )