[Mlir-commits] [mlir] [MLIR][Python] Use correct namespace for registering SMT dialect (PR #174468)

[Maksim Levental]

https://github.com/makslevental created https://github.com/llvm/llvm-project/pull/174468

None

>From 41934580a3d75347e67bb9087c5458e36eb1e41c Mon Sep 17 00:00:00 2001
From: makslevental <maksim.levental at gmail.com>
Date: Mon, 5 Jan 2026 11:22:20 -0800
Subject: [PATCH] [MLIR][Python] Use correct namespace for registering SMT
 dialect

---
 mlir/lib/Bindings/Python/DialectSMT.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mlir/lib/Bindings/Python/DialectSMT.cpp b/mlir/lib/Bindings/Python/DialectSMT.cpp
index 2edf9bb48c18d..f13604abb4751 100644
--- a/mlir/lib/Bindings/Python/DialectSMT.cpp
+++ b/mlir/lib/Bindings/Python/DialectSMT.cpp
@@ -121,5 +121,5 @@ static void populateDialectSMTSubmodule(nanobind::module_ &m) {
 NB_MODULE(_mlirDialectsSMT, m) {
   m.doc() = "MLIR SMT Dialect";
 
-  python::mlir::smt::populateDialectSMTSubmodule(m);
+  python::MLIR_BINDINGS_PYTHON_DOMAIN::smt::populateDialectSMTSubmodule(m);
 }