diff --git a/mlir/lib/Target/SMTLIB/CMakeLists.txt b/mlir/lib/Target/SMTLIB/CMakeLists.txt
index 1fd965551ae47..08e2533058a2f 100644
--- a/mlir/lib/Target/SMTLIB/CMakeLists.txt
+++ b/mlir/lib/Target/SMTLIB/CMakeLists.txt
@@ -10,4 +10,5 @@ add_mlir_translation_library(MLIRExportSMTLIB
   MLIRFuncDialect
   MLIRIR
   MLIRTranslateLib
+  MLIRArithDialect
 )