[Mlir-commits] [mlir] [MLIR][Transform] Docs: add SMT extension section and fix Tune header (PR #161560)

[Rolf Morel]

https://github.com/rolfmorel created https://github.com/llvm/llvm-project/pull/161560

None

>From 01c9b1e3a673436168756c537f654638b2589990 Mon Sep 17 00:00:00 2001
From: Rolf Morel <rolfmorel at gmail.com>
Date: Wed, 1 Oct 2025 19:10:24 +0100
Subject: [PATCH] [MLIR][Transform] Docs: add SMT extension section and fix
 Tune header

---
 mlir/docs/Dialects/Transform.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/mlir/docs/Dialects/Transform.md b/mlir/docs/Dialects/Transform.md
index 7164cb74f0a8f..2133b81ed87ba 100644
--- a/mlir/docs/Dialects/Transform.md
+++ b/mlir/docs/Dialects/Transform.md
@@ -415,10 +415,14 @@ ops rather than having the methods directly act on the payload IR.
 
 [include "Dialects/TransformOps.md"]
 
-## Tuning Extension Operaiton
+## Tune Extension Operations
 
 [include "Dialects/TuneExtensionOps.md"]
 
+## SMT Extension Operations
+
+[include "Dialects/SMTExtensionOps.md"]
+
 ## Affine Transform Operations
 
 [include "Dialects/AffineLoopTransformOps.md"]