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

[llvmlistbot at llvm.org]

Author: Maksim Levental
Date: 2026-01-05T19:36:45Z
New Revision: 9c39a7d84523f61627a5d45fccfca5f8a6015ad3

URL: https://github.com/llvm/llvm-project/commit/9c39a7d84523f61627a5d45fccfca5f8a6015ad3
DIFF: https://github.com/llvm/llvm-project/commit/9c39a7d84523f61627a5d45fccfca5f8a6015ad3.diff

LOG: [MLIR][Python] Use correct namespace for registering SMT dialect (#174468)

use `python::MLIR_BINDINGS_PYTHON_DOMAIN` namespace for registering SMT
dialect.

Added: 
    

Modified: 
    mlir/lib/Bindings/Python/DialectSMT.cpp

Removed: 
    


################################################################################
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);
 }